ETAPA 4 INICIADA, INFERENCIA DE TIPOS PARA EXPRESSOES PRATICAMENTE COMPLETA.