`BitSlice` or a sound way to implement one

Part of the issue with the way C++ did it was that it is a specialisation for a normal vector rather than a dedicated bitvector type. This means it behaves differently than all other vectors, and for new programmers it is a bit of a gotcha. I feel like most of the issues could have been avoided if it was a separate bitvector.