semantic: Handle postfix and primitive types.
semantic: Give a better error if looking up via a primitive instance.
parser: Make primitive type intir expression.
ir: Add TypeExp node.
parser: Handle TypeExp.
visitor: Visit TypeExps.
semantic: Type TypeExps.
visitor: Correctly pretty print TypeExps.
semantic: Handle TypeExp.