Make `Instruction` into a union type of opcodes

[langston-barrett]

Similarly to how Type is a union of PrimitiveType, IntegerType, etc., we should make Instruction into a union type of all the known opcodes. This gives stronger type-safety guarantees when a relation has an opcode-specific type.