Improve map2/map3 examples
Implement zip and untest