Removed TFunc from the types which the EQUAL/DIFFERENT operators work on. Since function comparison is not implemented, this will prevent the error message 'there is a bug in the typechecker' when comparing functions.