This makes pattern synonym signatures more consistent with normal
I'm confused. This patch overlaps with D2179; much of it seems identical.
But the title is about allowing multiple names for a single pattern signature, which is a much more focused goal, and one I like.
So Yes to the P, Q :: patern-type idea, but I can't review it unless it's brought out as a separate patch