We should add type annotations for all definitions except those in tests, and enforce this with a `mypy.ini` configuration like this: ``` [mypy] python_version = 3.8 ... disallow_untyped_defs = True [mypy-tests.*] disallow_untyped_defs = False ```