Session 19 Hint 2
Use the return type of the function to choose the ways you assemble
the answer for each case. lexical-address
returns an
expression identical to its argument, except that the variable
references have been replaced by their lexical addresses.
So: For variable references, return a lexical address. For the other three cases, call the constructor for the kind of expression being processed.