Fixed enums were not referenced via type qualification.
Fixed validation was broken for type checking on expressions.