Empezando parser de tipos inductivos