Modified variables storage in Launcher

Now stored as (name, value) entries rather than InputVariable instances,
for better memory efficiency.