Transforma termos arbitrários em tipos refletíveis
