Renamed Vector to vector and removed the unnecessary type alias.