Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2008-07-11 12:36:05 -0700 (Fri, 11 Jul 2008)
Revision: 13112
Log message:

      Halfway through types, lots of work to do.