Was there ever a clear consensus one way or the other on this? I remember it being brought up several times over the years, but don't remember how it turned out. In a previous note, I used the syntax (declare (notype x)). This was a lapse into Maclisp style -- the common-lisp equivalent would probably be (declare (type t x)). -- JonL --