That sounds still like overloading unless you'd require the infix function names to be globally unique. And if you require global uniqueness then that gets pret

That sounds still like overloading unless you'd require the infix function names to be globally unique. And if you require global uniqueness then that gets pretty nasty pretty quickly with libraries that might use same names.