Support for len() for a ProductSet

Not sure.  Someday we can overload \__len__ as the cardinality, why not?

Can we just remove this stub method right now?