Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-09 05:23:47 -0800 (Tue, 09 Mar 2004)
Revision: 5443
Log message:
Removing the distinction between the Hypothesis and HypBinding - it was
causing too much trouble unnecessarily complicating a lot of code.
The IO part of the distinction is still there - on IO the "unused" bindings
are interpreted as variables with an empty "string" part.