Given a coproduct C, return the sequence of injection maps returned as the second argument from the cop<> constructor.
Given a coproduct C, return the length (number of constituents) of C.
Given a coproduct C and an integer i between 1 and the length of C, return the i-th constituent of C.
Given an element x from a coproduct C, return the constituent number of C to which x belongs.