Check with mypy in the CI

[alecandido]

Since I'm transitioning code to type hints (or type hints friendly, at least), we can get more from type checks.
In any case, types are inferred, so there is a benefit in type checking also without any type hint.

I propose to add mypy check to our usual CI workflow. In the end, it costs nothing, and it is not even an extra dependency.