Constant-time sorted-map-size
Add sorted-map-keys