BitVectors are a non growable depricated alias in the Adligo catalog, which have been replace by BitSlotMaps#1.3.6.1.4.1.33097.1.1.3 for narrowed taxomony.
This is depricated mostly because of the Vector class in the Java language, which is growable and seems to break the Mathmatical Vector#1.3.6.1.4.1.33097.5.1 convention of having a end point (or not growing after definition / creation time). In addition, I wanted to narrow the scope of taxomony, since it looks like there are likely multiple interpretations of the BitVector term as of 2025, so BitSlotMap#1.3.6.1.4.1.33097.1.1.3 won the day.
https://docs.oracle.com/en/java/javase/24/docs/api/java.base/java/util/Vector.html