Add type hints and type checking

[desilinguist]

Now that type hints (and consequent static type checking using mypy) is becoming more common, we should add them to the RSMTool codebase and pipelines.