      \fitem{remove}{(m:map, k:val)}, \vImpure: removes the entry \code{k}
      in map \code{m} (\code{m} is modified in place). Does nothing if the
      entry \code{k} is not present in map \code{m}. 


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

