A lambda calculus of two variables requires the law of the excluded middle, or it won’t work. The alphabet of the calculus has to be distinguishable and unambiguous.
The law of the excluded middle is about the truth status of any proposition. The fact that the alphabet of the language has to have a decidable equality does not mean the law of the excluded middle is true for any theory built from the lambda calculus. (Or true in general)