Desugaring functions are all done! But we're not ready for the CF backends yet because desugared structures still need to be stashed in the parser.