Thanks for the explanation, the slides are really helpful! You should consider merging some pictures from there into the manual 😉
Now a last question. Wouldn’t it be better if the default outbound rewriting is only done for specific Operations like Substitute? I can’t think of an use case that uses a custom Operation that supports outbound rewriting. Maybe you could introduce a marker interface or so and only do outbound rewriting by default if every element in the operation chain implements that marker interface?
Do you play Magic?
Get TopDecked MTG, the #1 Magic App, built by players, for players. Free to use, forever.