Check that the expression has a valid type. If not, generates an error "... has no type".
true if the expression is not valid. Note: When this function returns true, checkValue() should also return true.
See Implementation
Check that the expression has a valid type. If not, generates an error "... has no type".