lambda-mac The basic lambda calculus, extended with hygienic macros based on the Sets of Scopes model of macro expansion.