[Idea] Static type checking with mypy

[pekasen]

MyPy provides linting/checking of our code base on the basis of type annotations and provides additional safety to catch programing errors.