Get mypy type checking enabled in pipenv

[matteius]

Similar to linting or vendoring, we should have a a build step that is for running the mypy type checker. This will mean cleaning up the type annotations and eliminating type errors so we can make the build depend on passing type checks. Doing so will help prevent some class of spurious coding errors.