Coproduct.enlarge Sub-Coproduct to Super-Coproduct

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