****	MERGE WITH 5.00 BRANCH     ********

	--------------------------------
	Fix a bad implicit parameter bug
	--------------------------------

TcSimplify.tcSimplifyIPs was just completely wrong; it wasn't
doing improvement properly nor binding values properly. Sigh.

To make this work nicely I added
	Inst.instName :: Inst -> Name