Unify naming

[julienrbrt]

Currently we use aggregator, proposer and sequencer to talk about the same thing.
While they are synonyms it can be confusing in the long term.

[julienrbrt]

Looks like Copilot can't handle this.