parser reads fixed points
hml error checking
minimal fixed points implemented
alternation free mu calculus
Merge branch 'fixed-points'