Update VectFoo.idr