Finish the precedence rules and consumption of the parse tree into an AST

[mlaveaux]

The precendence rules have been copied from the mCRL2 toolset, but the parse tree must still be consumed fully.

[mlaveaux]

This has been done, only the PBES (PRES) and action rename specifications still have to added to the AST.