Returns a new tuple containing all the keys of tuple1 and tuple2,
where the value for each key contained in only one tuple is the value from
that tuple, and the value for each key contained in both tuples is the result
of calling val-fn on the value from tuple1 and the value from tuple2.
val-fn defaults to simply returning its third argument, so the entries in
tuple2 simply shadow those in tuple1.