make desugaring syntax-safe