      \fitem{max_val}(tab \emph{or} map \emph{or} nim): returns the
      maximal element in the tab if it is a map, the maximal element in
      the domain of the map if the argument is a map or a nim.


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

