Session 19
Hint 3

Do the two simplest cases in the straightforward recursive way.

Applications and if expressions require only that we build a similar expression with lexical-addressed parts. They do not themselves create or consume variable references.