TZT operations on data structures exhaustiveness

Answers the following item of %(2023Q3) MIR: check TZT test suite exhaustiveness:

Operations on data structures.

For each one of the instructions below:

• report the name of a TZT test that contains the instruction and declares the expected result of interpretation. None can be used when the test is missing.

Instructions:

• CAR (car_*.tzt)
• CDR (cdr_*.tzt)
• CONCAT: string : string (concat_string_*.tzt)
• CONCAT: list string (concat_liststring_*.tzt)
• CONCAT: bytes : bytes (concat_bytes_*.tzt)
• CONCAT: list bytes (concat_listbytes_*.tzt)
• CONS (cons_*.tzt involving different type elements in lists)
• EMPTY_BIG_MAP (emptybigmap_nat-nat_00.tzt)
• EMPTY_MAP (emptymap_*.tzt)
• EMPTY_SET (emptyset_nat_00.tzt)
• GET: kty : map kty vty (get_map*_*.tzt)
• GET: kty : big_map kty vty (get_bigmapstringstring_*.tzt)
• GET n None
• GET_AND_UPDATE: kty : option vty : map kty vty None
• GET_AND_UPDATE: kty : option vty : big_map kty vty None
• ITER: list ty (iter_list*_*.tzt)
• ITER: set cty (iter_set*_*.tzt)
• ITER: map kty vty (iter_map*_*.tzt)
• LEFT (left_int-nat_00.tzt)
• MAP: list ty (map_list*_*.tzt)
• MAP: option ty None
• MAP: map kty ty1 (map_map*_*.tzt)
• MEM: cty : set cty (map_set*_*.tzt)
• MEM: kty : map kty vty (map_map*_*.tzt)
• MEM: kty : big_map kty vty (map_bigmap*_*.tzt)
• NEVER None
• NIL (nil_nat_00.tzt)
• NONE (none_*.tzt)
• PACK Partial (tested only with conjunction with UNPACK, packunpack_*_*.tzt)
• PAIR (pair_*_*.tzt)
• PAIR n None
• RIGHT (right_nat-int_00.tzt)
• SIZE: set cty (size_set*_*.tzt)
• SIZE: map kty vty (size_map*_*.tzt)
• SIZE: list ty (size_list*_*.tzt)
• SIZE: string (size_string_00.tzt)
• SIZE: bytes (size_bytes_00.tzt)
• SLICE: nat : nat : string (slice_string_*.tzt)
• SLICE: nat : nat : bytes (slice_bytes_*.tzt)
• SOME (some_*.tzt)
• UNIT (unit_00.tzt)
• UNPACK Partial (tested only with conjunction with PACK, packunpack_*_*.tzt)
• UNPAIR (unpair_pairstringstring_00.tzt)
• UPDATE: cty : bool : set cty (update_setint_*.tzt)
• UPDATE: kty : option vty : map kty vty (update_mapintint_*.tzt)
• UPDATE: kty : option vty : big_map kty vty (update_bigmapstringstring_*.tzt)
• UPDATE n None