Hygienic macro

Hygienic macros are analogous to Lexical/Static scope for Macros: Macro variables are not just names, but rather binding information records.