Introduced isomorphism for expressing the most important variants as sum types.
Added distributive law between sum- and product types as an isomorphism class.
Added documentation and Iso-instances for SPDistribute.

Deprecated Isomorphic on the way...