Better parser, but cannot do app after lam :(
Ambiguity-free grammar

However, you cannot apply lambdas directly to functions.
Support multiple binders in (ty) lambda and forall
Rename ? -> ! and ! to many
Add unfold, < >, << >> and change : , precendence
Parser additions
Various wibbles and wobbles to the desugarer
Revert functions, and add return, pack, crash
Desugar cut
Desugar connect
Allow patterns in return
Desugar with pattern and expression
Support unpack pattern properly
Add more examples to tests/unify.mx
Merge branch 'parser'

Conflicts:
    Desugar.hs