Supporting file for Section 2.1:

  example-producer-consumer.lisp

Supporting file for Section 2.2:

  example-integers.lisp

The remaining files support the definition of simplify-defun.  To play
with simplify-defun, evaluate the forms in simplify-defun-tests.lisp.
