Simplify Vector::operator == more