Support for len() for a ProductSet

Doesn't make sense here.  `Union(FiniteSet(1, 2), FiniteSet(2, 3))` is not a Union.