[WIP] Defined generate (construction from indices) and sequence (n-ary Cartesian product).