Standard library traits

[lukaszcz]

• Operators for Ord and Eq.
• Conversion function from Ord to Eq in Stdlib.Trait.Ord.Eq.
• Numeric traits: Natural and Integral.
• By default the comparison and arithmetic operators refer to the generic traits. The operators specific to the data types (Nat, Int) need to be imported separately or prefixed with Nat, Int.
• Requires https://github.com/anoma/juvix/pull/2433
• Requires https://github.com/anoma/juvix/pull/2441
• The quickcheck library needs to be updated for tests to work.