anchor.diff:  
   Where:
   
  -- `{id}` is a fully qualified typed value composed of `{type_code}{value}`.
  +- `{id}` is a fully qualified typed value composed of `{type_code}{type_info}{value_flag}{value}`.
   - `{label}` is a `String` value.
   - `{inVLabel}` is a `String` value.
   - `{outVLabel}` is a `String` value.
  -- `{inV}` is a fully qualified typed value composed of `{type_code}{value}`.
  -- `{outV}` is a fully qualified typed value composed of `{type_code}{value}`.
  +- `{inV}` is a fully qualified typed value composed of `{type_code}{type_info}{value_flag}{value}`.
  +- `{outV}` is a fully qualified typed value composed of `{type_code}{type_info}{value_flag}{value}`.
   - `{properties}` is a `List` of `VertexProperty` items.
   
   ==== Path
  
positive.code: Where:
  
  - `{length}` is an unsigned 4-byte two's complement integer describing the length of the list.
  - `{item_0}...{item_n}` are the items of the list. `{item_i}` is a fully qualified typed value composed of `{type_code}{value}`.
  
  ==== Set
  
  
negative.code: Where:
  
  - `{key}` is a `String` value.
  - `{value}` is a fully qualified typed value composed of `{type_code}{type_info}{value_flag}{value}`.
  
  ==== Bytecode
  
  