@fancy-queen-20734: i think transitive vs intransitive is the fundamental thing, and then scopes would be applied by walking the output