Add import Prelude.Functor in Prelude/Vect.idr

This is imported transitively through Prelude.List, but really should be
explicit.