-------------------------------
	Fix bugs in rank-N polymorphism
	-------------------------------

Discussion with Mark showed up some bugs in the rank-N
polymorphism stuff, especally concerning the treatment of
'hole' type variables.

See especially TcMType:
	newHoleTyVar
	readHoleResult
	zapToType

Also the treatment of conditionals and case branches
is done right now, using zapToType