Stop using unicode constructors

I cannot type them!
Work on desugaring
Desugar cut