module lib/IArray  for immutable arrays;
used in Multiset