Get rid of possible harmful orphan instances.

[bolt12]

Right now I have Enum, Bounded orphan instance for Pairs (,) and Either types. And I'm looking to add an Enum instance for the List [] type.

The reason for this is that this instances are needed in order to lift functions to relations and to define a couple of relational operators.

Since this orphan instances can be harmful because they might not be what one would exactly desire maybe it would be a better alternative to have newtype wrappers around them like:

newtype (><) a b = P (a, b)
newtype (-|-) a b = E (Either a b)
newtype Powerset a = PS [a] 

[bolt12]

This newtype wrappers should probably be used in the inductive matrix data type!

[bolt12]

This would have impact on usability as it would not be as straightforward to lift a function to matrix/Relation. coerce could be of use like when using Natural.