Add preliminary Distribution.condition_on()
Provide better default for product=None.