Draft lint: add some static types

Adds some static types which then can be checked with i.e. mypy.
Most types have official python support for ~3.5+ so it shouldn't hurt compatibility.

Advantages can be found i.e. on wikipedia.

The check should probably be included in the CI as well.
Also probably most # type: ignore should be fixed correctly at some point.

Is this a wanted change?