Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-14 11:00:00 -0700 (Mon, 14 Jul 2003)
Revision: 4739
Log message:
Some minor changes.
Did not change Term_match_table. We'll have to decide if we
want default cases.
Core_type_erase also has an issue with default cases.
Specifically, all types are erased, but all variables
are left wrapped, like erase{'v}. I'm not sure we want
to add a default case.