eopl; exercise 4.01 - newref in proc
eopl; exercise 4.02 - specification for zero?-exp
eopl; exercise 4.03 - specification for call-exp