Run static analysis using mypy

Static type analysis is done with mypy. It checks type definition in source files without running them, and highlights potential issues where types do not match. You can run it with:

$ tox -e mypy