      \fitem{mapval}(map, function): \code{mapval(m, f)} return a map
      \code{p} such that \code{p(x) = f(m(x))}.


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

