cleanup
coloring labels
moving desugar to be done before transformations
signatures for lexical constructors
solving ambiguity for kernel layout sorts