bug fix: removed `Vector.__eq__`: it was wrong