Implementando verificações de tipagem nas expressões lógicas