Rename Perm to PermExp to avoid a name-clash with Perm (the type).
Rename Perm to PermExp to avoid a name-clash with Perm (the type).

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors