http://arclanguage.org/item?id=2610
One of the biggest problems is performance (about a 10x slowdown if you want to do infix analysis (i.e. order of operations) at runtime).