handle conditional keywords 'mutable' and 'pure'
allow a op b on left hand side of function bindings
accept SOMEOP • after forall
allow (a op b) on the left hand side
adaption to new regex and right section syntax - new parser parses all