1 is situational, there are good and there are bad macro systems, implicit variable declarations are terrible, but beyond forced typecasting on operators(which maybe be impossible to avoid) I don't think overloading operators for non-arithmetic types is so bad so long as you're in a language where the types are annotated/easily knowable. If redefining operators is fine in math, I think programmers can manage it too.