Type Checking

A simple system test to add is a static type checker, specifically mypy. Having this pass over the entire codebase (possibly using multiple versions of each package, see issue TBD) every commit would be a good sanity check. New code is being written with type declarations, and it can be added incrementally added to older code.