Can we please not update others' PRs? I could explain this much better if I only had to look at my own code...

In general though, yes. It's the same for transforming nodes, symbols and types. We'd have to copy the whole tree a  *lot* of times if we didn't do this.