Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2004-10-12 01:45:01 -0700 (Tue, 12 Oct 2004)
Revision: 6238
Log message:
Added all basic stuff for itt_reflection, including arities of bterms
and elimination on bterms.
In Base_reflection, a simple_bterm does not have to be a bterm.