Proper type for rewrite strategy results.
Rewrite.apply_strategy uses the same return type as strategies.