Coproduct.embed/Basis (converts Sub-Coproduct to Super-Coproduct)

- checks that a Coproduct is a sub-union of a _bigger_ Coproduct
- enlarges a _sub_-Coproduct into a _super_-Coproduct