sorted map: coarse implementation of a sorted map with some errors. See the FIXME comments.