I don't understand the schism. For example, 11=1 gives the equivalence of two different programs. Whereas 33 mod 4 and 1 are equal in Z_4 ...

It bothered me a lot when I took logics lectures that equality wasn't treated as operator or even just anything within a theory (whereas turnstyle was described, at least).