Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-05-04 01:40:01 -0700 (Tue, 04 May 2004)
Revision: 5752
Log message:
1. Added bounds to the existential type extension.
2. lir_simplify is almost starting to look complete.