Synopsis: Hygiene provides fresh names, such as for temporary variables, for free.
Note: only applies to macro steps, not to individual code-generating procedures.