Add DefaultBitVector_t

The type alias DefaultBitVector_t<T> provides a default choice
for a bit vector that fits the structure of the vector type T.