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.