treaps: An ordered dictionary data structure, based on randomized
search trees (treaps).