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