Support for len() for a ProductSet

Cardinality is defined.  \__len__ - not.