Aggiunto un if nel FunNode Che evita di rieffettuare il typecheck a runtime se è già stato fatto.
Questo causava un LOOP quando all'interno del linguaggio si avevano funzioni ricorsive.