draft of alternate proposal for EVAL-WHEN-NON-TOP-LEVEL

[Eric Benson <eb@lucid.com>]

   Date: Tue, 7 Mar 89 12:08 EST
   From: David A. Moon <Moon@STONY-BROOK.SCRC.Symbolics.COM>

       (3) Define a ``top-level form'' as follows:

	   - Each form read by COMPILE-FILE from the input file is a top-level 
	     form.

	   - Forms within the body of a top-level PROGN, EVAL-WHEN, or 
	     COMPILER-LET are also top-level forms.

Should we include forms within the body of a top-level MACROLET?  This
seems reasonable.  What about LOCALLY?  This also seems reasonable,
modulo the question of whether LOCALLY is a macro or a special form.
Is this a slippery slope?