convert permutation to expr framework

[mimoo]

I believe the constant that we compute on the side could make this difficult... but it would make things much clearer as well