Example statements

This PR is still under development. When completed it will:

* Swap appendix C and D round so that appendix C contains the example statements
* Add an example statement to appendix C that contains every property (where legal)
* Add a new appendix E (and reshuffle the current E and F) for examples of agents using the various Inverse Functional Identifiers. 

Please comment now if you think any other examples should be added.