Prefer vec over into when converting sequences to vectors
Translate "to-vector" rule