Add optimization for Lambdas where they can be marked as non mutating

[apatrida]

Is it possible a lambda can mutate outside state, captured and in its class? if so, we have to allocate a new lambda every time we run a script. If not (either by detection or the user informs us of this), we can avoid this reallocation. Does it even matter either way?