ir: Add TypeExp node.
parser: Handle TypeExp.
visitor: Visit TypeExps.