Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-03-16 19:04:04 -0800 (Thu, 16 Mar 2006)
Revision: 8925
Log message:

      Working on reflecting proper rules in Poplmark.
      Unfortunately, need a stronger definition of sequent
      types.