Dodane podatkovne strukture za tip, izraz, relacijo in formulo (izrek).
Dodana funkcija (getFormula), ki vrne izrek. To funkcijo je treba še dopolniti.