Describe our workflow in the revised ASKE language

[jpfairbanks]

We came up with a new vocabulary around metamodeling. We need to have high level representations of our project in this new vocabulary.

[crherlihy]

I think we should consider that there will generally be multiple possible metamodeling workflows, and that the sequence of movements up/down the metamodeling stack can also be represented by our IR. Useful metaphors: circuit diagram; sheet of music.

I also think it might be worth adding a "interpretation/action" step that comes after the model has produced results. I've extended the diagram we discussed in the PI meeting working group to capture some of this below. The formalize step I added is intended to capture the

• Define/tag objects.
• Define/tag morphisms.
• Map types to objects.
• Map expressions to morphisms; in cases where the exact mathematical expression is not yet known, facilitate representation with either an empty expression :() or :verb.

workflow referenced in #191 that occurs when going down the stack from abstract (domain) to structured (IR) layer.