* gestione greedyness dei magic in 2 => 1
* sintassi concreta / prelexing
- studiare/implementare sintassi con ... per i magic fold
+* integrazione
+ - porting della disambiguazione al nuovo ast
+ - apportare all'ast le modifiche di CicAst (case, cast non come annotazione,
+ tipi opzionali nel let rec e nelle definizioni)
+* href multipli
DONE