equals() is implemented for Position.