Support for len() for a ProductSet

Mul(*[len(s) ...])