Remove Zip[[a]These[X, a]]; it is unlawful.
Add &&& as a proper name for These#zip.
Deprecate These#zip; the name implies the existence of a lawful instance.
Merge pull request #499 from S11001001/topic/no-these-zip

Remove Zip on These and deprecate These#zip