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

ntermciccontent = nciccoercion+interpretation
                       |
                  unif_hint