Tp -> Id

Unop -> "&" | "!" | "~" | "-" | "*" | "(" _ Tp _ ")"
BinopB   -> "*" | "/" | "%"
BinopA   -> "+" | "-"
Binop9   -> "<" "<" | ">" ">"
Binop8   -> "<" | "<" "=" | ">" "=" | ">"
Binop7   -> "=" "=" | "!" "="
Binop6   -> "&"
Binop5   -> "^"
Binop4   -> "|"
Binop3   -> "&" "&"
Binop2   -> "|" "|"
Binop1   -> "?"
Binop0   -> "=" | "+" "="

ExpD     -> "(" _ Exp _ ")"
          | %number | %strlit | %chrlit | "true" | "false" | "NULL"
          | %ident
          | %ident _ Funargs
          | ExpD _ "." _ %ident | ExpD _ "->" _ %ident
          | ExpD _ "[" _ Exp _ "]"
          | "alloc" _ "(" _ Tp _ ")" | "alloc_array" _ "(" _ Tp _ "," _ Exp _ ")"
          | "\result"
          | "\length" _ "(" _ Exp _ ")"
          | "\hastag" _ "(" _ Tp _ "," _ Exp _ ")"
          | "(" _ "*" _ Exp _ ")" _ Funargs
ExpC     -> ExpD {% id %} | Unop _ ExpC
ExpB     -> ExpC {% id %} | ExpC _ BinopB _ ExpB
ExpA     -> ExpB {% id %} | ExpB _ BinopA _ ExpA
Exp9     -> ExpA {% id %} | ExpA _ Binop9 _ Exp9
Exp8     -> Exp9 {% id %} | Exp9 _ Binop8 _ Exp8
Exp7     -> Exp8 {% id %} | Exp8 _ Binop7 _ Exp7
Exp6     -> Exp7 {% id %} | Exp7 _ Binop6 _ Exp6
Exp5     -> Exp6 {% id %} | Exp6 _ Binop5 _ Exp5
Exp4     -> Exp5 {% id %} | Exp5 _ Binop4 _ Exp4
Exp3     -> Exp4 {% id %} | Exp4 _ Binop3 _ Exp3
Exp2     -> Exp3 {% id %} | Exp3 _ Binop2 _ Exp2
Exp1     -> Exp2 {% id %} | Exp2 _ Binop1 _ Exp _ ":" _ Exp1
Exp0     -> Exp1 {% id %} | Exp1 _ Binop0 _ Exp1 # Uses "none" precedence
Exp      -> Exp0 {% id %}

Funargs -> "(" _ Exp _ ("," _ Exp):* ")"