Permutations of option α are equivalent to fixing an
option α and permuting the remaining with a perm α.
The fixed option α is swapped with none.
The set of all permutations of option α can be constructed by augmenting the set of
permutations of α by each element of option α in turn.