Use DefaultBitVector_t

... instead of explicitly hard-wiring BitSetVector.  With this change, vectors
of arbitrary nesting depth can be used.