problem 2 progress rev(3) fixed typeInfer case Binary(Eq|Ne, e1, e2)