[WIP] Pass all tests of insertOrderedList

This is still work in progress. This pull request will be removed later because the commit name is temporary.
Need type annotation.