Some map_zip/map_zip_with properties.

These are some properties of map_zip_with that I am using so far. Perhaps you want me to port the whole thing first, to see what other functions/lemmas will I need?