New files containing DEFMETHOD and DEFUN forms for VALIDATE-SUPERCLASS.