grafitetypes -> tac -> auto + eq + (grafitedisambiguate = lexicon+nciccoercion)
|--> dumpable | |
- |--> nciclibrary interpretation unif_hint
+ |--> nciclibrary | unif_hint
+ |--> grafiteparser -> lexicon -> ... |
+ |-> interpretation
+ |-> termcontentpres
+ |-> notation_parser
+
ntermciccontent = nciccoercion+interpretation
|
unif_hint
+
+applytransformation = ntermciccontent+termcontentpres