Improvements to typed_splay_tree