- hyperlink su head dei case pattern e sul tipo induttivo su cui si fa match
- hyperlink multipli con il magic fold (e.g. notazione per le liste)
- ident0 -> ident_0 ?
+ - re-factoring della gestione degli attributi nell'ast: togliere
+ Ast.AttributedTerm e aggiungere un record attr ad ogni costruttore dell'ast
* bug di rimozione della notazione: pare che camlp4 distrugga un livello
grammaticale quando toglie l'ultima produzione ivi definita