From: Matthew D. Swank on
http://lambda-the-ultimate.org/node/3986
Doesn't require complete macro expansion to reason about hygiene.
Might be applicable to defmacro-y macros.

Matt