[ops2c] remove the op body prelude, which is no longer needed
[ops2c] various cosmetic changes to generated ops code