Add splay tree and related BST helpers