Add internal avl rotation functions

This PR adds functions for AVL rotations.
Note that a double rotation can be achieved by two consecutive rotations in oposite directions on a node's child and on the node itself afterwards.
Actually, I don't see any sane way to do this in the code. I'll add a paragraph to the paper on this.