Avanzando en la sección 'Teoría de Tipos'