Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-05-31 14:14:44 -0700 (Wed, 31 May 2006)
Revision: 9224
Log message:

      For now, we can't use
      
         declare typeclass Judgment -> Perv!Judgment
      
      because the filter/reflection has no idea what typeclass
      subtyping mean.