ProductDistribution can now handle any non-zero number of factors

It's even backwards compatible!