fixing the bugs in 'let' and 'case' (stepJ') desugaring rules