New `Zip` lists function, and some error checking before function application