Make it possible to define a cartesian product/matrix for...
just with a better constant factor. By comparison, if someone has a matrix which is genuinely a cartesian product of N by M options, the current representation is O(NM), whereas with proper support for products it would be O(N+M). ...