Look into typing with mypy

[timokau]

See #129 (comment). We already declare many types in docstrings. Using mypy would require us to formalize this a bit more, with the added bonus of static guarantees and better tooling support (such as enhanced tab completion).