Add type checking with mypy

[stefsmeets]

Instamatic has types in quite a few places already, add type checking using mypy. There are currently over 700 issues though, but at least mypy could help make the code more robust.

• Update pre-commit config
• Add CI run with mypy test
• Fix type issues