      \fitem{map_compose}(a:map, b:map): returns a map \code{c} such that
      \code{c(x) = b(a(x))}.


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

