Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-14 21:17:50 -0800 (Mon, 14 Mar 2005)
Revision: 6927
Log message:
This is just the first part of closure elimination, where we
interpret closure tuples as real tuples.
The next part is existentials.