MATITA 1.0:
  matitaMathView*: selezione semantica, hyperlink, etc.

Problemi (MATITA 1.0):
  matitaEngine: durante la compilazione, che accade allo storage/env? dovrei
   ripulirlo, immagino

  matitaGui: come faccio in uno stato funzionale a settare le interpretazioni?
   dovrei farlo su ogni elemento della history, ma sarebbe troppo costoso

  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.

matitac: non entra nelle dir
matita: due file anonimi stessa base uri
matita: il pulsante close non si ingrigisce quando non ci sono piu' script
        aperti