Ignore bin
Refactor sugar in expression to avoid member visibility problems
Rework desugar() and curry() in expressions
Let-expression desugaring