I don't think so. Locals on interactive mode is a PITA:
Agreed, but it looks like a technical problem. Should not be difficult to patch lua.c to ignore 'local' on the top level, or better, modify one of the pure Lua shells. Next luaish iteration will have this option, I think.