Más de tipos inductivos
Removed pyc files