MyPy

[ludgerpaehler]

MyPy type checking to be gradually rolled out. This entails, and should lead to:

• Strict MyPy type checking in CI
• Fully statically typed codebase (with minor exceptions where sensible)

This should result in us being able to rule out any type-related errors at runtime.