implement Vect::rest