A Boolean algebra library on sorted vectors of ints.