No notes updated yet.
Originally, SigTv was only used in pattern signatures (and a note
still claims that). But then it seems that the same behaviour is also
needed for kind variables. So this patch tries to not touch the
effect on kind variables, but it would be odd to continue to call
Other test outputs now no longer trip over type variables in pattern signatures
being bound to full types, and thus give different error messages, but nothing
worrying, as far as I can tell.