Type check dei tipi freccia e delle funzioni passate come parametro, da
testare.
- Cambiata la grammatica per inserire il baseType come unica scelta
delle variabili.
- Aggiunti tutti i messaggi di errore del type check
- Aggiunti tutti i tipi nodo nel nodeType