fix(data/num/basic): vector and bitvec are not in the init folder anymore
fix(data/num/basic): vector and bitvec are not in the init folder anymore

leanprover-community/mathlib,leanprover-community/mathlib