better error reporting for undoDesugarings