Use half adder for bitwise addition and subtraction.
Make counter vectors mergeable.
Make hash functions equality comparable.
Implement and test Bloom filter merging.