Coproduct updated
Product updated
Updated some definitions