K2 implementation of compiler frontend - desugaring, resolution, type inference, diagnostics.
Design docs