matita/components/statuses.txt

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