Add a missing pretty printer case.
Fix dot membership checking for the slow path.

This is only fired when the sets cannot be decomposed into a cartesian
product.