Capture-Avoiding and Hygienic Program Transformations.

Tools