Generalized vector types even more into basic_vecn