Static Types w/ Mypy

[nikhiljha]

This is low priority until after the code freeze, but we should type our code and check it with mypy, then add it to pre-commit to enforce type safety.