+ - portare le trasformazioni al nuovo ast
+ - gestire i problemi di ridefinizione della stessa notazione?
+ - togliere file non piu' utilizzati (caterva di cvs remove)
+* gtkmathview
+ - aggiungere metodo per caricare un file di configurazione dell'utente (idem
+ nel binding)
+ - algoritmo di layout delle scatole