Support for len() for a ProductSet

You should add tests, related to the new functional.

But if there is no tests for len(FiniteSet) - you should add them.  Please check that and add tests to the right place.