- more examples
- add Ben's work on compositionality
- add access control policies framework

