poly_map: made the operator== const