Lambdas are now evaluated in their definition environment (as is should
be); things like the bank account example from SICP are now possible.