Hello, I'm wondering if there's any update on issue 15 around nested arrow operators (https://github.com/authzed/spicedb/issues/15) ? Also, am I correct in thinking that a good work-around in the meantime is to have special permissions that "proxy" the nested arrows? Something like:

definition one {
    relation two: two
    permission view = two->three_four
}
definition two {
    relation three: three
    permission three_four = three->four
}
definition three {
    relation four: four
}
definition four {}