      \fitem{merge}(map, map): asymetric merge of the two argument
      maps. The result of \code{@merge(a, b)} is a map \code{c} such that
      \code{c(x) = a(x)} if \code{a(x)} is defined, and \code{b(x)}
      elsewhere. 


      %%% -------------------------------------------------------

