Add a version of parallel-and that uses a product lattice.