Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-26 21:30:57 -0800 (Thu, 26 Jan 2006)
Revision: 8614
Log message:

      Partial progress to computing the elimination rule.
      
      It looks stupid right now, because the assums are all trivial.  Mainly I'm
      fighting with syntactic well-formedness, meaning context and so-vars
      all need the right arity.  The assums are being computed, dropped on
      the floor until I figure out the mistake.