cpp/iterator/permutable

The concept refines std by adding requirements for reordering through moves and swaps.

Semantic requirements
models only if all concepts it subsumes are modeled.