reorder and rename quantifiers by specifying pattern(s) underneath

[mn200]

If you don't want to rely on the order of the variables or their names, how do we pull the quantifier block into shape? The names in the pattern can give names to the quantified variables, and then perhaps sort alphabetically to the order.

[xrchz]

maybe with an option to provide an ordering, then a wrapper that picks alphabetical