fix missed desugar in provide, and regression test