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