AST type is now record