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.
Is it executeable? It prints _always_ stuff, even if the checks pass!