AVLTree.hs : added some rewrite rules to simplify the trees