cartesian product in batSet

product for polymorphic sets, in lexicographic order. See issue #441