insertOrderedList: implement listifying

Apart from tests of issue #39, this CL passes all listifying tests.

PTAL
nit: Can we have predicate for packing these equality checks?