Any plan to support operation between relation? Something like

definition usergroup {
    relation admin: user
    relation member: user + admin
}