Is there interest in adding type annotations to all functions and methods? Checking them with mypy could be done incrementally, using the same nice framework as in #457.

I'm asking because the types in docstrings are already quite complete and are a good starting point, but introspection is improved by adding annotations and I'd be willing to add them.