add copy_n algorithm and Permutable, Mergeable, and Sortable concepts per n3351