Fix: apply applica teoremi su tutti i tipi di Item
Il nuovo ramo Problem eredita tutti gli Item del padre.
Implementazione equals: due item sono uguali se hanno la stessa "misura".
Fix: i nomi degli angoli sono in lowercase.
Aggiustamenti alla form. Lista dei teoremi disponibili, e inserimento nuova riga di risoluzione.
La dsl esegue un refreh del problema ad ogni applicazione di teorema.
Getter per gli angoli con misura, e per i segmenti "attorno" ad un angolo.
Teorema 10.3
Primo criterio di uguaglianza dei triangoli:
due triangoli che hanno rispettivamente uguali due lati e l'angolo fra di essi compreso, sono uguali.