Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-13 20:50:15 -0800 (Sun, 13 Mar 2005)
Revision: 6917
Log message:
A lot of changes:
1. Added a typeof operator, to be used during sweeping.
2. Closure elimination is a sweep phase, but not correct
yet because we need to convert it to positive form.
We need to add IsValue rules for the closure pairs...