Macro hygienic macro

A Macro system that automatically renames variables to prevent accidental Variable capture, ensuring that identifiers introduced by the macro don't clash with identifiers at the call site.

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