Constraints
Adding role annotations and coercible isomorphisms
Regenerating services affected by new role annotations / nested isomorphisms