macros expanding into definitions

["Guillermo J. Rozas" <gjr@martigny.ai.mit.edu>]

   From: jar@cs.cornell.edu (Jonathan Rees)
   Date: Tue, 1 Dec 92 17:32:40 -0500

   I think it would be better to find a different term or constraint to
   describe the situation with internally and top-levelly DEFINE'd
   variables.  Usually I say that the variable is bound but not assigned,
   and that a reference to an unassigned variable is an error.

You are right.  Of course, allowing the syntax

(let ((x))
  ...)

to mean precisely that would solve the rewrite problem.