Insertion sort: simple incremental comparison sorting by local insertion

Original label: Insertion sort: simple incremental comparison sorting by local insertion