Fix typing issues and add mypy to CI

Julian Stirlingrequested to merge
mypy-ci into main

This adds MyPy to the CI.

It also fixes outstanding typing issues.

Some functions still are not typed, so we may want to increase the strictness later.

Edited by Julian Stirling

Merge request reports