Add support for multi-valued instructions

This is needed to support e.g. i64s that contain FDs (plus neighbouring fields), or would serve a similar purpose for a frontend that emitted primitive structure operations.