Simplify the AST's representation of types.