I have proposed a positive solution to this problem in a *preprint* entitled *Hyperexponentially closed fields*, to be found [here][1], more precisely in Sections 10.1 and 10.2. 


The solution is based on work of G. Edgar and J. Écalle, where one uses formal properties of generalized power series (e.g. transseries) to keep track of how conjugating elements $\varphi$ in $\varphi f = g \varphi$ behave as functions $h \mapsto \varphi h$, very roughly speaking.


  [1]: https://hal.archives-ouvertes.fr/hal-03686767v2