Push TyVarBinds into InstHead and merge adjacent TyForalls. Fixes #9.