Add desugarings.