Added mypy syntax plugin