Push has multiple freeform string arguments

[enescakir]

Wew it's slightly brutal how many strings are in "push", and that we don't have a nice way to avoid free-handing errors in next_label or a way to check them on file load. But, that's for another day. Maybe let's pencil in these renovations for the next quarter. It's one of those sub-legible tasks that's easy to forget. Just planting the seed of a thought here.