another combinators for comparisons
in NPDTree, do not capture Not_found that could be raised by the
user callback
redundant cli option
Unif: equality up to substitution implemented
printer hooks in formulas
enable bin_annot
fix arith_hook printer in FOTerm
bugfix: FOTerm.head
more general arith printer
function Comparison.dominates
fix in Comparison.@>>
Better printing of substitutions
merge ForallTy constructor
fix Unif.Unary.eq
bugfix in Formula.simplify
API change for Multiset, which is now a functor and deals with
very large multiplicities of elements (using Zarith!)
tests for multiset
added a regular comparison function for multisets, renamed previous one
to compare_partial
added submodules containers/gen/sequence, and updated the rest to use them
multiset: printer, qtest, and new comparison function