Simplification in [Permissions].

Replace the criteration that says "is this permission already there". It is now
a syntactic criterion. Doesn't break anything, but doesn't help [landin]
type-check...
Slight tweak to make Landin's knot work again.
And add it to the testsuite.