deferred-substitution

An implementation of the formal system from Ben Lippmeier's Don't Substitute Into Abstractions, using a map instead of an ordered list of substitutions.

From the paper:

During reduction, by not substituting into abstractions we can retain the names present in the initial expression, and avoid the need to generate new, fresh names.