fix These#bifoldRight
fix ProductBifoldable#bifoldLeft
add BifoldableLaw
bifoldable properties
Merge pull request #551 from xuwei-k/BifoldableLaw

add BifoldableLaw