Everyone seems to agree that it would be most consistent with the rest of Common Lisp for the bodies of DEFTYPE, DEFINE-SETF-METHOD, ... to be evaluated in the null environment. There was only disagreement over whether these forms would do something else in the best of all possible Lisp dialects. Rob