Fix priority of `Permutation_app'`.

This is a workaround for https://github.com/coq/coq/issues/14571

This fixes #114 (closed).

This fixes a regression caused by !270 (merged).