+* trasformazioni
+ - parentesi cagose
+ - spacing delle keyword
+ - hyperlink su head dei case pattern e sul tipo induttivo su cui si fa match
+* bug di rimozione della notazione: pare che camlp4 distrugga un livello
+ grammaticale quando toglie l'ultima produzione ivi definita