Reformulate decEq for Vect.