Don't mess with types at the AST level.