a few more functions on Multiset and Formulas
module lib/IArray  for immutable arrays;
used in Multiset
background stuff:
- lexicographic combinators in Comparison;
- small changes to Cache and Hash;
- list comparison/max element in Multiset
more tests
Merge branch 'dev'