Implement stacks comparison for debugger
Clarification and motivation
At interpret time we want to be able to compare stacks, but Typeable
constraint is not already available there.
Would be nice to still have stacks comparison for:
- Checking them in tests;
- Displaying stack diffs (for the sake of user convenience).
Acceptance criteria
SomeStack
has Eq
.