Adding Ben Pfaff's threaded AVL's