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 the height actually defined as `a + b + 1`? Not `max(a, b) + 1`?