add BifoldableLaw. fix These#bifoldRight, ProductBifoldable#bifoldLeft