Session 19
Hint 9

The expression may contain free variables! We have to assume they exist at an outer scope so that we can address them.

free-vars can compute this set for us.

Have the initial list of variable declarations contain the set of free variables, as a sort of global lambda.