Added foldr1 method to Vect.idr