A law for Zip; remove Apply#zip

The law is discussed in #278, and is stronger than e.g. the `MonadZip` laws also linked from there.

`Apply[List].zip` yields an unlawful instance under this law, as do other `Apply`s, albeit not all.  So it's out.