absolute value in symbols
module lib/BV to handle efficient bitvectors
new module Multiset, for multiset equality, comparison, and so on.
removed Ordering.Multiset.
More efficient implementation of Multiset.{compare,eq} using bitvectors