new option to desugar with library (for debugging)