--------------------------------------------
	Fix a bugs in type inference for rank-N types
	--------------------------------------------

We discovered this bug when looking at type rules!

1. When type checking (e :: sigma-ty), we must specialise sigma-ty,
   else we lose the invariant that tcMonoType has.

2. In tcExpr_id, we should pass in a Hole tyvar not an ordinary tyvar.

As usual, I moved some functions around in consequence.