Install mypy and make the minimum changes necessary for it to pass, albeit using --ignore-missing-imports