replace old REPLSystem with a Lua interface