Manejo de dimensiones ok
empezando con tipos inductivos