semantic: Type TypeExps.
visitor: Correctly pretty print TypeExps.
semantic: Handle TypeExp.