Add new TypeException to be thrown if operands have incompatible types