Actually this group sequence re-definition thing is the part of the spec I'm having the hardest time with

same here

Does it? I think also constraints directly assigned to a parameter/return value could be put into a group and thus be subject to a re-defined default group sequence, e.g.: ...

You example makes sense. I didn't think of this. One more reason to define some tests and expectations first.