4 * implementare type-checker per le trasformazioni
5 * prestazioni trasformazioni 3 => 2 e 2 => 1
6 * magic per gestione degli array?
7 * gestione della notazione per i numeri
9 - studiare/implementare sintassi con ... per i magic fold
11 - portare le trasformazioni al nuovo ast
12 - togliere file non piu' utilizzati (caterva di cvs remove)
13 - gestire i problemi di ridefinizione della stessa notazione?
17 * gestione priorita'/associativita'
18 - triplicare livelli nella grammatica?
19 * implementare trasformazione 1 => 0
20 * implementare istanziazione dei magic a livello 1 (2 => 1)
21 * implementare compilazione dei default in 2 => 1
22 * annotazioni nel livello 1 generato
23 * problema con pattern overlapping per i magic al livello 2
24 * gestione greedyness dei magic in 2 => 1
27 - apportare all'ast le modifiche di CicAst (case, cast non come annotazione,
28 tipi opzionali nel let rec e nelle definizioni)
30 - porting della disambiguazione al nuovo ast
31 - refactoring: unico punto di accesso allo stato imperativo della notazione
33 - salvare la notazione nei file .moo