Since the codebase mostly uses typing the CI should enable a type checking.

Because wrong types are worse than no types at all.

We could start by simply running a mypy check in the CI.