insertOrderedList: implement listifying

Apart from tests of issue #39, this CL passes all listifying tests.

PTAL
What "top nodes" is?