makeOrderedLeafList and singleton