add simple permutations tutorial, lightly edited

[ott2]

Added orphaned tutorial on simple permutations by @ruthhoffmann and @gokberkkocak with a few copy-edits. Now uses the bijective property rather than a separate allDiff constraint.

[ott2]

I'm fairly certain performance should be the same as these should both end up with the same Essence Prime. My thinking was:

1. this looks good, it should be included in the manual,
2. let's encourage new users to use the idiomatic approach from the start (specify the right type via annotations) rather than using generic types and then whacking on a bunch of constraints to get the specific desired type, and
3. this can be a more advanced tutorial because we have covered the basics elsewhere.