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-address
ed parts.
They do not themselves create or consume variable references.