Some small refactoring and commenting of the parser
Now binding as much as possible in the reduction stage to allow further reduction.