`NiceComparable` should be more user-friendly
Clarification and motivation
I don't remember whether this has been discussed, but currently NiceComparable a
is just Comparable (ToT a)
, while Lorentz should not mention raw Michelson types in error messages.
Acceptance criteria
-
NiceComparable
, when unsatisfied, prints an error message that does not mentionT
types from Michelson. See otherNice*
constraints as an example.