type-constraint doesn't make much sense in [temp.pre], since it's not referenced from anything else there.

It and [temp.pre]p6 should be moved into [temp.param]. The various cross-references talking about it will need to be updated (in particular, we have a cross-reference for each mention of "immediately-declared constraint").