Adding mypy as an option to run#21

DavidAnderegg merged 4 commits intodevscritical/.github:devfrom

feature-mypyscritical/.github:feature-mypyCopy head branch name to clipboard