Bytecode: simplify type for storing list of instructions

Incidentally, make BytecodeInstruction an immutable struct, to facilitate
access to opcode in such a list.