Is the following known to be consistent with some extension of $\text{ZF}$?

There is a model $M$ of $\text{ZF}$ such that there is an external non-trivial elementary embedding $j$ from $P(M)$ to $P(M)$ (where $P$ is the known Power operator) such that $M \subset range(j)$ and such that every definable subset $\kappa$ of $M$ (parameter free or from parameters in $M$) in the language of set theory (i.e. doesn't use the symbol $j$) is sent by $j$ to an element of $M$[i.e. $j(\kappa) \in M$] and such that the symbol $j$ can be used freely in the instances of Replacement and Separation.

To clarify what is meant by "$\kappa $ is definable subset of $M$ from parameters $w_1,..,w_n \in M$", is to mean that: $$ \forall y (y \in \kappa \leftrightarrow y \in M \wedge \phi(y,w_1,..,w_n))$$ for some formula $\phi(y,w_1,..,w_n)$ that is written in the language of set theory.

In particular: is the above consistent with $\text{ZF + Reinhardt cardinal}$?