immutable env, dumb interpreter