visitor: Visit TypeExps.
semantic: Type TypeExps.
semantic: Handle TypeExp.