anchor.diff:  * `{step_i}` is composed of `{name}{values_length}{value_0}...{value_n}`, where:
   ** `{name}` is a String.
   ** `{values_length}` is an `Int` describing the amount values.
  -** `{value_i}` is a fully qualified typed value composed of `{type_code}{value}` describing the step argument.
  +** `{value_i}` is a fully qualified typed value composed of `{type_code}{type_info}{value_flag}{value}` describing the step argument.
   * `{sources_length}` is an `Int` value describing the amount of source instructions.
   * `{source_i}` is composed of `{name}{values_length}{value_0}...{value_n}`, where:
   ** `{name}` is a `String`.
   ** `{values_length}` is an `Int` describing the amount values.
  -** `{value_i}`  is a fully qualified typed value composed of `{type_code}{value}`.
  +** `{value_i}`  is a fully qualified typed value composed of `{type_code}{type_info}{value_flag}{value}`.
   
   ==== Cardinality
   
  
positive.code: Where:
  
  - `{key}` is a `String` value.
  - `{value}` is a fully qualified typed value composed of `{type_code}{value}`.
  
  ==== Bytecode
  
  
negative.code: Where:
  
  - `{length}` is an unsigned 4-byte two's complement integer describing the length of the map.
  - `{item_0}...{item_n}` are the items of the map. `{item_i}` is sequence of 2 fully qualified typed values one representing the key and the following representing the value, each composed composed of `{type_code}{type_info}{value_flag}{value}`.
  
  ==== UUID
  
  