Improve the transition between red-black trees and AA trees. Improve transition from first definition of AA trees to second def