Implement type checking via mypy (or similar)

[emmetfrancis]

A long term goal is to use a type checker like mypy to check the types of variables used in SMART, particularly in the initialization of SMART objects in the model_assembly file.