I'm intrigued, but need to read through this a few times to get everything.
One thing I don't understand is the dismissal of operator precedence for infix operators. It seems to me that creates an unnecessary impedance mismatch for getting formulae entered into the computer.
Thanks for sharing.