Fix two bugs:

- the typechecker wasn't attempting to resolve all the overloading when
  forcing an expression to IO type.  Now typing '1' at the prompt works
  again.

- the typechecker was attempting to check for Main.main even when
  we had avoided recompilation of Main.