Add fixpoint operator
Add natural literals
Fix printing
Refactor the lambda grammar