Support for len() for a ProductSet

I don't quite agree with the idea that we have to create a `FiniteSet` from the product set to find the length.