Refactor Parser implementation; new test for left recursion, WIP