matita/components/statuses.txt

   1 grafitetypes -> tac -> auto + eq + (grafitedisambiguate = lexicon+nciccoercion)
   2            |--> dumpable                                    |             |
   3            |--> nciclibrary                             interpretation unif_hint
   4
   5 ntermciccontent = nciccoercion+interpretation
   6                        |
   7                   unif_hint