      \fitem{is_list}(\vValue):  the predicate returns true if its
      argument is a map whose domain is the integers $\{0, \dots, n\}$ for
      some $n$. 


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

