Allow synonyms for 'w and 's lifetimes

[CGMossa]

Objective

The lifetimes 'w and 's are confusing.

Solution

One way to solve it by is by adding the ability to name the lifetimes different things depending on the context.
This was suggested by @maniwani here #8201 (comment)

Decide if there should be added synonyms for these traits / types:

• Add the synonyms to SystemParam.
• ParamSet?
• Query?

Tasks:

• Follow the example in these Use actual tests for SystemParam regression tests #8270 for the tests.

[CGMossa]

Note that this was brought up due to #8201. But I don't know if they should depend on each or whatever is the best decision.

[CGMossa]

One problem that I tried to solve, which may be beyond this PR, is that SystemParam-derive does not allow generics that aren't 'w and 's. Should it do that? And if so, can I have some help with that?

[joseph-gio]

Thank you for implementing this, I've been meaning to get around to it for a while now.

One concern I have is that allowing so many different synonyms of 's might make the situation more confusing -- I think we should agree on one of the options, and then only allow that one name, or the first letter of it.

[CGMossa]

Sure! I'll leave that to other reviewers :)

[joseph-gio]

After thinking about it a bit, my preference for the name of the 's lifetime is 'system. It just feels like the most clear and natural option to me. If you do that and fix up the merge conflicts, then I think this should be a pretty uncontroversial PR.

[alice-i-cecile]

Code quality looks good, but I would prefer not to introduce a proliferation of options. Sticking to 'w/'world and 's/ 'state seems like a healthy compromise here.