helm/ocaml/cic_notation/TODO

   1 * implementare trasformazione 1 => 0
   2 * gestione priorita'/associativita'
   3   - annotazioni nel livello 1 generato?
   4   - triplicare livelli nella grammatica?
   5 * implementare type-checker per le trasformazioni
   6 * prestazioni trasformazioni 3 => 2 e 2 => 1
   7 * implementare istanziazione dei magic a livello 1 (2 => 1)
   8 * problema con pattern overlapping per i magic al livello 2
   9 * magic per gestione degli array?
  10 * gestione speciale dei numeri
  11 * implementare compilazione dei default in 2 => 1 e
  12   relativa istanziazione
  13 * gestione greedyness dei magic in 2 => 1
  14 * sintassi concreta / prelexing
  15   - studiare/implementare sintassi con ... per i magic fold