support e => x match clauses
move desugaring rules to desugar module
desugar e : t into e : x where t => x
change builders into menus, add format service, separate labeling from desugaring
resolved merge conflict
editor services that produce ASTs after desugaring and after desugaring-and-labeling
Merge branch 'master' into HEAD