Bring back mypy or another static type checker

[aeturrell]

Mypy was very slow and removed because it started hanging (both locally and in Actions). There are other static type checkers that might do better.

Currently waiting on Astral's type checker for this.