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