Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-03-17 10:40:30 -0800 (Fri, 17 Mar 2006)
Revision: 8926
Log message:

      Added "hyp cases" types.  Probably soon to be modified, see message
      on metaprl-research to be posted soon.