Automate code type-checking using mypy.

This Merge Request makes the mypy static type checker a member of the code analysis tools the approval of which is part of the code acceptance test suite.

Actual changes to the current source code are rather trivial, however forcing developers to use mypy might not be, hence the opening of a merge request.