specialize `zip_with_take_{l,r,both}` and generalize them into `zip_with_take_{l,r,both}'`

2 jobs for !339 with glen/zip_with_take_both in 4 minutes and 39 seconds (queued for 3 seconds)
detached
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #160259
fp

00:04:39

passed build-coq.8.13.2-mr #160258
fp

00:04:12