There are currently three ways to create ast elements, `build::mk_*`, `build::ExtCtxtMethods`, and `pipes::ast_builder::ext_ctxt_ast_builder`. (I'm working on this.)