Monadify typecheck/TcHsType: use do, return and standard monad functions