      \fitem{aggregate}(n1:nim, n2:nim, \dots) aggregates the arguments
      into a vectorial nim. The number of components of the result is
      the sum of the number of components of each arguments. This
      function admits a variable number of argument and cannot be
      curryfied. See \acode{projection}. 


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