Support for len() for a ProductSet

I don't see too much sense in this test.  This Union evaluated to the FiniteSet coin.  Same for intersection.