Inspired by Data.Ord from Haskell.

Instances must obey the following laws:

1. Totality: S.lte(a, b) or S.lte(b, a)
2. Antisymmetry: if S.lte(a, b) and S.lte(b, a), then S.equals(a, b)
3. Transitivity: if S.lte(a, b) and S.lte(b, c), then S.lte(a, c)

Equivalent with the Ord type-class in the static-land spec.