Permission: add isCase() method

which checks whether an operation is included in a Permisson.
Add a bunch of WellKnownOperations