Made AVLTree sealed and added a few comments