new sugar syntax and draft checker
Fiddling around with desugaring
Stop using unicode constructors

I cannot type them!
Work on desugaring
Desugar cut
Maybe progress in desugaring
desugging/tcing progress, maybe.
fixes
Desugar app, lam, and a bunch of other stuff
Remove some _never used_ imports
Trying to use reverse state but failing
Use forward state references for types instead

Desugaring lambdas now work.

Had a go at connect but didn't quite finish. Should be doable (?)
Add a semicolon at the end of all old tests
Build desugaring

Unfortunately, they cannot really be used because unpacking types
doesn't really work (type variable becomes out of scope)
and axiom only works on top level.
sync
Desugar map, but resolving fails
Make desugaring of map work(!)
Implement filter
Support connect at the top level by avoiding code duplication
Support alias