Aggiunta una nuova logica (stl). Riadattate le strutture di ctl per stl. Modificata la gestione dell'interfaccia e la semantica