Implement Value to Value __eq__ and __ne__ ops

[timtadh]

Objects in the value hierarchy should be directly comparable. They should not compare on their computed value but rather whether at value computation time whether they will bind to the same value.

A prereq for finishing issue #5