Language diventa Java: implementazione di create e extend, ora l'applicazione dei teoremi (es. assert "ABC" is equa to "DEF" because "T3")
clean constraint
Giro completato, ora pulisco.
Pulizia.
Merge branch 'feature/language-from-g-to-j' into develop
Aggiornamento controller con i dati della demo nuova.