Added mypy syntax plugin
Mypy: cleanup.