trocadas igualdades por compareType no sistema de tipos