Split section about rebalancing AVLs
Add label to equation
Use new label for referencing equation
Add description of rebalancing algorithm
Remove old note about recursion