Fair enough, though I'm still a bit wary about accidental omissions of the env parameters. What I very much like about this interpreter is that it makes all state transfer explicit. However, I don't intend to rule out anything at this point - let's see how it goes and then decide.