Switch to using Coq.Vectors