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