Testato sommariamente il type check, corretti alcuni bugs:
- DecFunNode è stato aggiunto il controllo del numero dei parametri nel
caso si abbia un tipo freccia.
- HigherOrderFun è stato corretto il cast con il simble entry per
lanciare correttamente il type check del tipo del parametro associato
alla funzione.
- FunNode aggiunto il controllo del DecArroFunNode sul tipo del nodo
passato nella simble entry.

Quando tutto sarà testato si può anche decidere di sopprimere il nodo
DecArrowFunNode in quanto del tutto identico alla classe da cui eredita.