Splay tree on typenames