3-argument map in rex
lThis version of map is defined similarly, but
lThe first argument is a binary (2-argument) function;
lThe 2nd and 3rd arguments are both lists.

lThe function argument is applied to pairs of corresponding elements, one from each list.