------------------------------
	Fix a scoped-type-variable bug
	------------------------------

	MERGE WITH STABLE BRANCH

The bug caused an incorrect failure when the same type
variable was used more than once in a collection of patterns:

	f (x :: t) (y :: t) = e

On the way, I eliminated bindNakedTyVarsFVRn, which was only
called once.