+* annotazioni nel livello 1 generato
+* problema con pattern overlapping per i magic al livello 2
+* gestione greedyness dei magic in 2 => 1
+* href multipli
+* integrazione
+ - apportare all'ast le modifiche di CicAst (case, cast non come annotazione,
+ tipi opzionali nel let rec e nelle definizioni)
+* integrazione
+ - porting della disambiguazione al nuovo ast
+ - refactoring: unico punto di accesso allo stato imperativo della notazione
+ - gestire cast
+ - salvare la notazione nei file .moo
+ - portare le trasformazioni al nuovo ast
+ - gestire i problemi di ridefinizione della stessa notazione?
+ - togliere file non piu' utilizzati (caterva di cvs remove)
+* gtkmathview
+ - aggiungere metodo per caricare un file di configurazione dell'utente (idem
+ nel binding)
+ - algoritmo di layout delle scatole