Buenas,
No se si estoy entendiendo bien esta parte.
Definí addAVL1, addAVL2 y addAVL3 que generan un AVLNat a partir de sub-arboles de alturas: n n, n n+1 y n+1 n respectivamente.
Con eso puedo construir cualquier AVLNat pero addAVL1 n... genera un AVLNat de altura n+1 y addAVL2 n... y addAVL3 n... generan AVLNat de altura n+2.
Agradezco si me pueden decir si es lo esperado o no.
Saludos.