minor edits; updated splay tree vs multi-set discussion