Efficient ordered map and set