Synopsis: Macros can insert references whose meaning depends on the context of the macro’s use.
Example: contractlike macro expands into application of prevailing "#%app"