Introduce `Setoid` interface, for dealing with equality/equivalences in a uniform way.

[omelkonian]

This is a hint of the missing Setoid/DecSetoid interfaces, maybe worth a subsequent PR.

Originally posted by @omelkonian in https://github.com/input-output-hk/formal-ledger-specifications/pull/237#discussion_r1350493273