fix #21: BasicVectors<...>::Int -> BasicVectors<...>::IntVectors etc...