I'm glad that proposal was withdrawn; it would've been by far, in my opinion, the worst implementation of operator overloading, in any (mainstream) language
I had glanced through it a long time ago. Maybe it’s time for someone to create a new (and better!) proposal.