Suffix tree, naive and slow
AVL Tree with addition
AVLTree, removal works as well.
AVLTree proof
Splay tree proof draft, no code yet.