Further update BitVector type