Define type aliases for some model-check map keys

[chrispcampbell]

In model-check, there are a few Map types that are declared in the ModelSpec interface with a bare string type for the map key. It would be better to define explicit type aliases for these to make the meaning of these keys more clear in the code and in documentation.

[chrispcampbell]