add DeferredBitVector class