The modules in this section provide tools for writing complex macros, such as those that use local-expand.