Big +1 to the proposal. I'll reiterate here that Vector is pretty much an ideal name for this type (although I personally would prefer Vec or Vect for a type I expect to be commonly used, similar to how we picked Int instead of Integer).
It is an established precedent in languages with dependent types, and since const generics are a subset of dependent types, it makes perfect sense to follow that precedent. Picking any other name than Vector or Vec/Vect would only introduce needless confusion.