moar mypy syntax and feedback on type checker execution