Tipos principales y cierre semi-completo para sistemas de tipos puros extendidos (trabajo en desarrollo).