This strategy has to introduce a new kind of structure, called a `Closure`, to handle
binding to terms that have locally free variables in them. Let's
see how this works. For exposition, I'll pretend that the code you're working with has
This strategy has to introduce a new kind of structure, called a `Closure`, to handle
binding to terms that have locally free variables in them. Let's
see how this works. For exposition, I'll pretend that the code you're working with has