- riattaccare hbugs (brrr...) -> Zack
GUI LOGICA
+ - matitac deve fallire quando matita vuole aggiungere un alias!
- default equality e famiglia non e' undo-aware
- nuovo pretty-printer testuale: non stampa usando la notazione
(e.g. guardare output di matitac)