Issue: DECLARE-TYPE-FREE (Version 3)

[Eric Benson <eb@lucid.com>]

   Date: 22 Sep 88 22:25 PDT
   From: masinter.pa@Xerox.COM

   Benefits:

     The above example will not have to be written in the following silly way,
     which only works if x and y are used read-only:

       (if (and (typep x 'fixnum) (typep y 'fixnum))
	   (let ((x x) (y y))
	     (declare (fixnum x y))
	     ...algorithm using x and y...)
	   ...similar algorithm using x and y...)

I would remove the adjective "silly" from this description.  I don't
find this especially silly.