- matita.ml: non posso usare l'high level pretty printer perche' non ho nemmeno
- uno status dove voglio stampare (e sarebbe comunque troppo basso).
- Non posso implementare l'up-cast con
- il solito metodo perche' uso oggetti funzionali. E inoltre ho stati
- multipli per via del MTI. Di contro, la parte dello stato che si occupa
- di notazione e' praticamente read-only.
-