- riattaccare hbugs (brrr...) -> Zack
GUI LOGICA
+ - proposta di Zack: NON calcolare (ed esportare) per default gli inner-types;
+ aggiungere un'opzione per questo a matitac (riduce drasticamente il tempo
+ di qed)
- la funzione alias_diff e' lentissima (anche se CSC l'ha accellerata di
un fattore 3x) e puo' essere evitata: chi vuole aggiungere alias (la
disambiguazione, il comando "alias" e l'add_obj) deve indicare