Hmm, I started out from the perspective in http://sourceforge.net/p/readable/wiki/Rationale that precedence violates homoiconicity. But if it happens in the reader and macros always see real s-expressions I suppose there isn't a technical issue.
My only other response: 9 levels of precedence?! Cut your tomfoolery! :)
---
I momentarily considered haskell's backticks, but there's a problem finding a reasonable character. And I wanted to not make the language more complex.
Ha! So, "for simplicity's sake" it is. :P
(Also, you can thank my sleepy attempts at self-censoring "cut that shit out" for my sounding like https://www.youtube.com/watch?v=nltVuSH-lQM)
-----