I'd add variations of the tuple opcodes to gather remaining arguments into a record (with an `n` property holding its length) to store as a `...` argument. And maybe I'd include an UNPACK opcode to push all those values onto the stack, to reflect the behaviour of `...` in Lua.
And I'd have a variant of the OPEN-TUPLE opcode which first swaps the top stackslots & ensures the new-top is in the tuple as the first argument. For the "method" syntactic sugar.
6/6.2!