Says whether a right the original token does not cover may still be
derived: a right of a type the access-type catalogue declares derivable
from a type the original carries.
Parameters
original: any[]
the original token's access rights
right: any
the right asked for
context: any
{ rs, downstream }: the deriving resource server and
the downstream ones (recorded on the log line)
Says whether a right the original token does not cover may still be derived: a right of a type the access-type catalogue declares derivable from a type the original carries.