vector_new -> vector_length, made vector_at more relational