Consider adding type annotations

[jgosmann]

Consider adding type annotations to at least the public API, potentially also private methods.
This might require dropping Python 3.4 support (which has reached EOL March 2019).

Also, setup MyPy or a different type checker on the code base.