insertOrderedList: implement listifying

Apart from tests of issue #39, this CL passes all listifying tests.

PTAL
Q: Is it OK to have |effectiveNodes[0]| twice in |effectNodes|?