There was actually no warning on the `SmallBitv` and `BigBitv` struct; it was just that the `negate` method of `BigBitv` was never used. I have reverted the change on the visibility of those two structs, and modified `Bitv`'s `negate` method to call `BigBitv`'s `negate`. I think that's what was intended.