Check value equality between objects with lambdas

[Sporarum]

See Comparing two functions without invoking them - #5 by Sporarum

Also note that context function putting the parameter name in scope is probably a bug, and it breaks soundness