Rename protocol parameters

[aisamu]

Per ericdallo's directions

Although inconsequential, it's sometimes useful to have all the implementation parameter names match the definition's.

Describe the solution you'd like
When we rename a protocol's parameter declaration, all the known implementation's parameters would be renamed accordingly.

Describe alternatives you've considered
Search-and-replace would certainly work, but protocols parameters frequently have very abstract names (this, coll, el) that are frequently found in various unrelated places.

Additional context
I originally attempted to use LSP to rename a protocol's t to this in a large codebase because search-and-replace was matching various other ts (standing for timestamp)

[ericdallo]

I wonder if that's the desired behavior always but maybe most of the time, what if someone wants to rename only the local var of t of that protocol and not all the implementations?
maybe we could do that and if anyone complains add a setting for the old way (although there was never a old way for protocols as we don't support rename on function arities of protocols)

[aisamu]

I wonder if that's the desired behavior always but maybe most of the time, what if someone wants to rename only the local var of t of that protocol and not all the implementations?

The protocol declaration never has a body, so there would be no benefit to invoking a rename action vs just renaming the symbol directly!

[ericdallo]

Yeah, for protocols that sounds safe