 
 public final class DeallocBoxOp: PrimOp {
   public init(_ box: Value) {
-    super.init(opcode: .deallocBox, category: .object)
+    super.init(opcode: .deallocBox, type: BottomType.shared, category: .object)
     self.addOperands([ Operand(owner: self, value: box) ])
   }
 


public final class CopyValueOp: PrimOp {
  public init(_ value: Value) {
    super.init(opcode: .copyValue, category: value.type.category)
    self.addOperands([Operand(owner: self, value: value)])
  }


  }
  init(opcode: Code, parent: Continuation) {
    self.parent = parent
    super.init(opcode: opcode, type: BottomType.shared, category: .object)
    // Tie the knot
    self.parent.terminalOp = self
  }
