helm/ocaml/cic_notation/TODO

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