Add typehints and typechecking to source code and CI

[tobni]

Reasons:

• Easier to provide contributions and be sure they are safe.
• Probably helpful to move towards Stubs should be of the type of the collaborator #23, or a similar solution.