Add Bounded and (maybe) Enum typeclasses

[ornamentist]

The Haskell inspired typeclasses Bounded and Enum are useful for numeric and non-numeric types alike and would also be useful in Coalton projects.

Discussing this idea on Discord, there's less certainty around the Enum typeclass utility in Coalton than Bounded.

[ornamentist]

Yes — I should have made this a discussion first, thanks.