bindings: backdate initial module statements
For model simplicity (and eventually for better unspecialized
compilation), try to backdate initial module operations back to world 0
if nobody could have observed them before, rather than putting each
incremental operation in a separate, but unobserved world.
