ReverseComplement

Reverse, then complement.

ReverseComplement(Permutation)

Domain: Combinatorial maps

Details

Takes a `Permutation` and returns a `Permutation` — a typed map, so a wrong carrier is a type error rather than a wrong answer.
Defined as a COMPOSITION, applied right to left: Complement after Reverse. Each step goes through its own declared head, so every intermediate value is a properly constructed carrier.
A thin alias over Compose(Complement, Reverse). The catalog has the name, so we keep it — but the name is not what makes it work, and nothing stops a reader writing the composition directly.

Examples