Precedence climbing, AST definition and AST construction

Mh, I would have left it for that for now ... I think especially in combination with `parser.success` it would probably make more sense to consider moving to `Either`.