Print better diffs in return_value_map
Decouple constructed method from implementation

This commit introduces the first Ordering constraint, Unordered.