Add type signatures and mypy check

Kezrequested to merge
type-signatures into main

See !10 (closed) for reference

Merge request reports