Extienda el tipo ArbolBinario(α) (ver Apunte de TADs Básicos) con las siguientes operaciones. Recordar dentro de lo posible evitar utilizar los generadores en el lado izquierdo de los axiomas y en su lugar utilizar los observadores del tipo.
a) esHoja? , que devuelve true si el árbol no es vaćıo y es hoja.
b) #Hojas, que cuenta la cantidad de hojas del árbol.
c) DegeneradoAIzquierda, que chequea si todo nodo interno (no hoja) tiene sólo subárbol izquierdo.
d) ZigZag , que chequea si todo el árbol es degenerado con direcciones alternadas.
e) ÚltimoNivelCompleto, que devuelve el número del último nivel que está completo (es decir, aquél que tiene todos los nodos posibles).
f) Espejo, que dado un árbol devuelve su reflejo simétrico, como en un espejo.
g) EsSimétrico? , que chequea si el árbol pasado por parámetro es simétrico.