Correct the wrong uses of Choice.List.fold

The correct translation is:
itlist --> Choice.List.foldBack
rev_itlist --> Choice.List.fold

We did translate the other way around so the order of application is
wrong.

After correction, we are able to load up to pair module