1)
$$x+e^x=y$$
We see, the elementary function term on the left-hand side of the equation is a polynomial without a univariate factor and in dependence of two $\mathbb{C}$-algebraically independent monomials ($x,e^x$). Therefore we don't know how to solve the equation for $x$ by rearranging for $x$ by applying only finite numbers of elementary functions that we can read from the equation.
We therefore cannot see if the elementary function on the left-hand side has a partial inverse that is an elementary function.
Furthermore, for algebraic $y$, the equation is an irreducible algebraic equation of $x$ and $e^x$. The theorem in Lin 1983 and the theorem in Chow 1999 state that such kind of equations don't have solutions in the elementary numbers and in the explicit elementary numbers respectively, if Schanuel's conjecture is true.
2)
Lambert W is the inverse relation of the function $x\mapsto xe^x$.
To see if our equation is solvable in terms of Lambert W, we try to rearrange the equation into the product form that's required for Lambert W.
This is a longer way, but without any tricks.
A sum equation can be rearranged to a product equation in each case.
$$x+e^x=y$$
$$e^x=y-x$$
$$1=(y-x)e^{-x}$$
$$(y-x)e^{-x}=1$$
$$(y-x)e^{y-x}=e^{y}$$
$$y-x= W(e^y)$$
$$x=y-W(e^y)$$