We should write a unified report on Compositional Identity as used in anoma, including defintions and examples.
We should build on the specs section on identities and this thread as well as the section on account abstraction (or what the name will be in the end) in the RMv2 report.