[WIP] Implement avl add

Solves #55 .
Is it correct to check for Max between `x` and `x` in this case?