+* 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