Adding in immutable AVL trees