0.1.0 (2021-11-05)

Initial version, moved out of numeric-kinds.

• Compare type family (re-exported from base when available).
• Equality/inequality test operators.
• Equality/inequality constraint operators.
• Proven and OrdCond utility type families.