Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Yes, in $L$ we put only constructible sets into $L_{\alpha+1}$, but you allow more sets to go into $\mathfrak{L}_{\alpha+1}$, which opens the door eventually to put any given set in, by first gradually adding its hereditary elements.
If you can articulate the desired features of the operator that make it shift-like, then the problem will become: how to prove there is no such operator.
You can define $\Box a$ to move everybody down to a place where it would be a violation of direct comparision, if possible. This works, but it is a bit like the ad hoc solution in my first comment, so perhaps not what you want.
Your question admits unwanted answers, where $\Box a=a$ if $a$ is ascending, otherwise something not above $a$. So presumably you want to say something more about the nature of the operator to be acceptable.