Deleted stuff about left-recursion. It's explained in Design and in Future Work.