Cambios varios para verificacion de tipos
Merge branch 'master' of github.com:joseluisjb1990/Bear
Habia un conflict que resolvi

dejando lo que habias hecho tu y se me fue por ahi un caso de prueba que
no habia subido.
Ahora si esta el parser de antes del conflicto
Cambie el tipo de las declaraciones de las cuevas

Ahora solo se pueden declarar con ints como limites y cambie la manera
en que se construyen. Ya no tenemos en el CuevaType una lista con las
longitudes porque eso era poco practico ahora en el tipo de la cueva
tenemos un type que tiene el tipo de la cueva que puede ser otra cueva y
asi entonces en nuestro tipo tenemos cuevas de algo que a su vez pueden
ser otras cuevas.