Simplify the interpreter for trivial inits and no letrec