Raw macros work on syntax. Hygienic macros pay more attention to scope. They attach scope identification data to the syntax tree.
dynamic scope and lexical scope Without macros, the scope of binding forms is straightoforward. With macros,
sets of scopes - Flatt. Does this lattice maybe have something
Syntax objects in racket - More than just s-expressions. Annotated with source locations but also scope.
What about gensymming?