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


ntermciccontent = nciccoercion+interpretation
                       |
                  unif_hint

applytransformation = ntermciccontent+termcontentpres