Undo renaming of BitVector's length to width