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.
Same as for other function here: merge with the upper check, please!