Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-12-07 11:22:11 -0800 (Wed, 07 Dec 2005)
Revision: 8267
Log message:

      Added ConsFun, containing terms of the form lambda{x. e1[x]::e2[x]}