Prolly: A content-addressed ordered map built on prolly trees