Add Ord instances for predicate failures

[neilmayhew]

Description

We want to be able to have Sets of predicate failures which requires them to have Ord instances.

This also requires changes to cardano-base, because some types from base are embedded in some of our predicate failures, which requires those types to have Ord instances and currently they do not.

We add the Ord constraint to the STS class to ensure that no predicate is missed.

Checklist

• Commits in meaningful sequence and with useful messages.
• Tests added or updated when needed.
• CHANGELOG.md files updated for packages with externally visible changes.
  NOTE: New section is never added with the code changes. (See RELEASING.md).
• Versions updated in .cabal and CHANGELOG.md files when necessary, according to the
  versioning process.
• Version bounds in .cabal files updated when necessary.
  NOTE: If bounds change in a cabal file, that package itself must have a version increase. (See RELEASING.md).
• Code formatted (use scripts/fourmolize.sh).
• Cabal files formatted (use scripts/cabal-format.sh).
• CDDL files are up to date (use scripts/gen-cddl.sh)
• hie.yaml updated (use scripts/gen-hie.sh).
• Self-reviewed the diff.