4.1 Unhygienic binding forms

Synopsis: Macros can create bindings of names that do not appear explicitly in the macro use.

Examples: define-struct