grafitetypes
 |--> dumpable
 |--> nciclibrary
 |--> grafiteparser -----
 |--> tac               |
       |--> auto        |
       |--> eq          |
       |-------------> lexicon
                        |--> notation_parser
                        |--> interpretation
                        |       |--> nciccoercion --> unif_hint
                        |--> termcontentpres

applytransformation
    |
    |-> interpretation -> nciccoercion
    |                         |
    |                     unif_hint
    |
    |-> termcontentpres