Similar to the fuzzer pass that adds extracts or vector shuffles, this pass should add OpCompositeInsert instructions to the module.

Each insert yields several synonym facts: every component of the result is synonymous with the components of the original id, except for the inserted component which is synonymous with the given operand.