Update TypeDB IAM to 3.x syntax & functions (#8)

## What is the goal of this PR?
Updates the TypeDB IAM example to use the TypeDB 3.x syntax & functions.

## What are the changes implemented in this PR?
* Updates schema
* Updates functions
* Updates data with the `end` keyword.
* Updates comments & sample queries.

---------

Co-authored-by: joshua <joshua@typedb.com>

Author: krishnangovindraj

use-cases/identity-and-access-management/README.md

@@ -1,15 +1,11 @@
 # Identity and access management
 
-## Compatibility note
-
-**This demo has not yet been updated to be compatible with TypeDB 3.0**
-
 ## Introduction
 
 In this demo, you'll learn how to use TypeDB as the database for an identity and access management system. We'll cover
 some basic operations like listing the users in the system and see how queries can be simplified by taking advantage of
 TypeDB's in-built type-inference and polymorphism, then move on to some more advanced examples that take advantage of
-rule-inference. We'll see how we can automate permission inheritance and enforce a dynamic segregation-of-duty policy at
+TypeQL functions. We'll see how we can automate permission inheritance and enforce a dynamic segregation-of-duty policy at
 the schema level.
 
 ![Screenshot 2023-06-16 at 13 02 19](https://github.com/james-whiteside/typedb-examples/assets/117453030/f601ae73-1e43-455e-b7c1-226ce453967d)
@@ -19,36 +15,36 @@ the schema level.
 This demo assumes knowledge of:
 
 - [General identity and access management concepts](https://en.wikipedia.org/wiki/Identity_management).
-- [TypeDB's transaction system](https://typedb.com/docs/typedb/2.x/development/connect.html).
-- [All basic TypeQL syntax elements](https://typedb.com/docs/typedb/2.x/dev/match.html).
-- [TypeDB Studio's interface](https://typedb.com/docs/clients/2.x/studio.html).
+- [TypeDB's transaction system](https://typedb.com/docs/manual/queries/transactions).
+- [All basic TypeQL syntax elements](https://typedb.com/docs/typeql/pipelines/).
+- [TypeDB Studio](https://studio.typedb.com).
 
 ## Getting started
 
-Start your TypeDB server and open TypeDB Studio. Make sure you are on a `schema-write` transaction and run the following
+Start your TypeDB server and open TypeDB Studio. Make sure you are on a `schema` transaction and run the following
 TypeQL file:
 
-```define-schema.tql```
+```schema.tql```
 
-Then switch to a `data-write` transaction and run the following:
+Then switch to a `write` transaction and run the following:
 
-```insert-data.tql```
+```data.tql```
 
 Remember to click on the green tick after running each of these scripts to commit the changes to the database.
 
 ## Running the examples
 
 To get started, try running the examples. They are intended to be run once each and in order, so be aware that running
-them more than once or out of order might generate data errors. If anything goes wrong, you can run the
-`insert-data.tql` script again to reset everything. All the examples use `data` sessions, but you'll have to switch
-between `read` and `write` transactions depending on the queries in the example, and remember to commit after writes.
+them more than once or out of order might generate data errors. If anything goes wrong, you can delete the dataabase &
+run the `setup-script.tqls` script again to reset everything. For the examples, you'll have to switch between 
+`read` and `write` transactions depending on the queries in the example, and remember to commit after writes.
 Each example has an accompanying exercise. You can skip them out and all the examples will still run fine. Some are
-much harder than others! All the solutions are in the `solutions.tql` file.
+much harder than others! All the solutions are in the `exercise-solutions.tql` file.
 
 ## Next steps
 
 Once you've tried the pre-written examples out, have a go at editing them or writing something yourself. The schema also
 has a lot of types that are not used in the example dataset, so try experimenting with those. Remember you can view the
 list of types in the Type Browser, or view the schema in the graph visualizer by running the query:
 
-```match $t sub thing;```
+```match $t sub $s;```