diff --git a/src/lib_protocol_compiler/hashes/protocol_hash_representative.ml b/src/lib_protocol_compiler/hashes/protocol_hash_representative.ml
index e09093fd1260371a29401e3d7be7cfa1db199c2e..749462852cbd981d1291f42fb03cc754f3ea4594 100644
--- a/src/lib_protocol_compiler/hashes/protocol_hash_representative.ml
+++ b/src/lib_protocol_compiler/hashes/protocol_hash_representative.ml
@@ -20,6 +20,43 @@ let representatives =
   |> register_protocol_hash
        "Pry4stD6qN1ZagUX6YCHvMxA1xvSjARkdt8bhs86j74JGLoLDKN"
        "Ps8MVx2JuQaFrXpbuwSeBvXmi1xraGmXuJZHULEbPBY7mzFchxz"
+  (* Known protocols. *)
+  |> register_protocol_hash
+       "PsERsg9nX1wo2X5jqVCzKJvoczwtbF9NtJ1XkvR8cnvhokv1EJc"
+       "PtGRANADsDU8R9daYKAgWnQYAJ64omN1o3KMGVCykShA97vQbvV"
+  |> register_protocol_hash
+       "PtMph9rT4iQxKFDvxYAcKqcQ8j45oY6uCpzedB98LfWMARxQQSW"
+       "PtHangz2aRngywmSRGGvrcTyMbbdpWdpFKuS4uMWxg2RaH9i1qx"
+  |> register_protocol_hash
+       "PsgP5GoLQ57n2yBXG1uu6oKQf1YGYmW7w498E7S81MqheYRc5Wo"
+       "Psithaca2MLRFYargivpo7YvUr7wUDqyxrdhC5CQq78mRvimz6A"
+  |> register_protocol_hash
+       "PssV7reTFUwrtfhfKSzAQ5MwVpfg35QNBiBBNeH4AvoAStqBBfH"
+       "PtJakart2xVj7pYXJBXrqHgd82rdkLey5ZeeGwDgPp9rhQUbSqY"
+  |> register_protocol_hash
+       "PrqoTUFUrorf5LAt7F28SXDScpmS5CR2KuVJvzmrQtUJJZVuUaK"
+       "PtKathmankSpLLDALzWw7CGD2j2MtyveTwboEYokqUCP4a1LxMg"
+  |> register_protocol_hash
+       "Psad9fKoPh8bNtaB4vhwsnYBAeKhf5EXrQbmo7q1ozkQgGNQ3qb"
+       "PtLimaPtLMwfNinJi9rCfDPWea8dFgTZ1MeJ9f1m2SRic6ayiwW"
+  |> register_protocol_hash
+       "PsE988pGzcDaLWsDYXKj8tZTYryfns8xQzFF58T6MHfw1HwJhbZ"
+       "PtMumbai2TmsJHNGRkD8v8YDbtao7BLUC3wjASn1inAKLFCjaH1"
+  |> register_protocol_hash
+       "PsMmVdraV63nbGuMG1FGM2WCragcWRsb85T3duL7LEL87PH7RFU"
+       "PtNairobiyssHuh87hEhfVBGCVrK3WnS8Z2FT4ymB5tAa4r1nQf"
+  |> register_protocol_hash
+       "Pse1yoTfQcn7CAnVpRpAQmKy88otrsdj1FJZb5RbqNbQHAbU94h"
+       "ProxfordYmVfjWnRcgjWH36fW6PArwqykTFzotUxRs6gmTcZDuH"
+  |> register_protocol_hash
+       "PsvYZTuJyMerq4EF2yT8SETMR1D7fAqzwERDkh9B8T2cjQh5zph"
+       "PtParisBxoLz5gzMmn3d9WBQNoPSZakgnkMC2VNuQ3KXfUtUQeZ"
+  |> register_protocol_hash
+       "PtJdFR5xNLSufXi5LmHKwstm7Dd8SDj7PEmfKmvz5B9hHs6oEtB"
+       "PsParisCZo7KAh1Z1smVd9ZMZ1HHn5gkzbM94V3PLCpknFWhUAi"
+  |> register_protocol_hash
+       "PtSAFF8wPqJcqwFoJfQoKgQBef7b7YNAgW1LjKMdhmigC7BumiX"
+       "PsQuebecnLByd3JwTiGadoG4nGWi3HYiLXUjkibeFV8dCFeVMUg"
 
 (* Resolve is not transitive on purpose: there is no reason a protocol hash is
    represented by another protocol hash that has itself a representative. *)
diff --git a/src/proto_010_PtGRANAD/lib_protocol/script_ir_translator.ml b/src/proto_010_PtGRANAD/lib_protocol/script_ir_translator.ml
index 17eddfc34b43f7011f05b52d6cc4f45486d7b9e2..18b72b94777ad3dc7c2aab32213cb509c7812fd4 100644
--- a/src/proto_010_PtGRANAD/lib_protocol/script_ir_translator.ml
+++ b/src/proto_010_PtGRANAD/lib_protocol/script_ir_translator.ml
@@ -3596,7 +3596,7 @@ and parse_instr :
     Lwt.return
     @@ return_no_lwt ctxt number_of_generated_growing_types judgement
   in
-  let typed_no_lwt ctxt number_of_generated_growing_types loc instr aft =
+  let typed_no_lwt ctxt number_of_generated_growing_types loc instr aft : ((a, s) judgement * context) tzresult =
     log_stack ctxt loc stack_ty aft
     >>? fun () ->
     let j = Typed {loc; instr; bef = stack_ty; aft} in
diff --git a/src/proto_011_PtHangz2/lib_protocol/script_ir_translator.ml b/src/proto_011_PtHangz2/lib_protocol/script_ir_translator.ml
index ca7e23c9b33267b4a2f955c2bfc695f719a4ab2c..9c071c29f5e28c72e0b1c6b07e32de76b50938b3 100644
--- a/src/proto_011_PtHangz2/lib_protocol/script_ir_translator.ml
+++ b/src/proto_011_PtHangz2/lib_protocol/script_ir_translator.ml
@@ -3078,7 +3078,7 @@ and[@coq_axiom_with_reason "gadt"] parse_instr :
         log loc stack_ty aft ;
         ()
   in
-  let typed_no_lwt ctxt loc instr aft =
+  let typed_no_lwt ctxt loc instr aft : ((a, s) judgement * context) tzresult =
     log_stack ctxt loc stack_ty aft >|? fun () ->
     let j = Typed {loc; instr; bef = stack_ty; aft} in
     (j, ctxt)
diff --git a/src/proto_012_Psithaca/lib_protocol/script_ir_translator.ml b/src/proto_012_Psithaca/lib_protocol/script_ir_translator.ml
index ceb7553e3dc0260bff9610abed616812ef085fdb..14340ac953c5380a4d997863871ac06c966b9c5c 100644
--- a/src/proto_012_Psithaca/lib_protocol/script_ir_translator.ml
+++ b/src/proto_012_Psithaca/lib_protocol/script_ir_translator.ml
@@ -3021,7 +3021,7 @@ and[@coq_axiom_with_reason "gadt"] parse_instr :
         let aft = unparse_stack_uncarbonated aft in
         log loc stack_ty aft
   in
-  let typed_no_lwt ctxt loc instr aft =
+  let typed_no_lwt ctxt loc instr aft : ((a, s) judgement * context) tzresult =
     log_stack loc stack_ty aft ;
     let j = Typed {loc; instr; bef = stack_ty; aft} in
     Ok (j, ctxt)
diff --git a/src/proto_013_PtJakart/lib_protocol/script_ir_translator.ml b/src/proto_013_PtJakart/lib_protocol/script_ir_translator.ml
index 1c99eb32003dde4bfe2c06e5d46da2c20fe767fc..efe051798d6d98d3790ac8369953a3191053279a 100644
--- a/src/proto_013_PtJakart/lib_protocol/script_ir_translator.ml
+++ b/src/proto_013_PtJakart/lib_protocol/script_ir_translator.ml
@@ -3113,7 +3113,7 @@ and[@coq_axiom_with_reason "gadt"] parse_instr :
         let stack_ty_after = unparse_stack_uncarbonated aft in
         log loc ~stack_ty_before ~stack_ty_after
   in
-  let typed_no_lwt ctxt loc instr aft =
+  let typed_no_lwt ctxt loc instr aft : ((a, s) judgement * context) tzresult =
     log_stack loc stack_ty aft ;
     let j = Typed {loc; instr; bef = stack_ty; aft} in
     Ok (j, ctxt)
diff --git a/src/proto_014_PtKathma/lib_protocol/script_ir_translator.ml b/src/proto_014_PtKathma/lib_protocol/script_ir_translator.ml
index 72bcf44899f10b2f6019a5c537542aa230ecfda7..fe1bbdc2f842ff6b5a70a6fbf44985abb0d558ef 100644
--- a/src/proto_014_PtKathma/lib_protocol/script_ir_translator.ml
+++ b/src/proto_014_PtKathma/lib_protocol/script_ir_translator.ml
@@ -2899,7 +2899,7 @@ and[@coq_axiom_with_reason "gadt"] parse_instr :
         let stack_ty_after = unparse_stack_uncarbonated aft in
         log loc ~stack_ty_before ~stack_ty_after
   in
-  let typed_no_lwt ctxt loc instr aft =
+  let typed_no_lwt ctxt loc instr aft : ((a, s) judgement * context) tzresult =
     log_stack loc stack_ty aft ;
     let j = Typed {loc; instr; bef = stack_ty; aft} in
     Ok (j, ctxt)
diff --git a/src/proto_015_PtLimaPt/lib_protocol/script_ir_translator.ml b/src/proto_015_PtLimaPt/lib_protocol/script_ir_translator.ml
index 323b16ae293f571eca41352590eea1abba09ee38..95e0dd08ebf01cdd489671f58030f78d60fe3867 100644
--- a/src/proto_015_PtLimaPt/lib_protocol/script_ir_translator.ml
+++ b/src/proto_015_PtLimaPt/lib_protocol/script_ir_translator.ml
@@ -2516,7 +2516,7 @@ and parse_instr :
         let stack_ty_after = unparse_stack_uncarbonated aft in
         log loc ~stack_ty_before ~stack_ty_after
   in
-  let typed_no_lwt ctxt loc instr aft =
+  let typed_no_lwt ctxt loc instr aft : ((a, s) judgement * context) tzresult =
     log_stack loc stack_ty aft ;
     let j = Typed {loc; instr; bef = stack_ty; aft} in
     Ok (j, ctxt)
diff --git a/src/proto_016_PtMumbai/lib_protocol/script_ir_translator.ml b/src/proto_016_PtMumbai/lib_protocol/script_ir_translator.ml
index eb6b3db37bf59034777cb07faacd990b6a1859ed..1fb8ac93564250b5476a0c10c4f26722a641e315 100644
--- a/src/proto_016_PtMumbai/lib_protocol/script_ir_translator.ml
+++ b/src/proto_016_PtMumbai/lib_protocol/script_ir_translator.ml
@@ -2585,7 +2585,7 @@ and parse_instr :
         let stack_ty_after = unparse_stack_uncarbonated aft in
         log loc ~stack_ty_before ~stack_ty_after
   in
-  let typed_no_lwt ctxt loc instr aft =
+  let typed_no_lwt ctxt loc instr aft : ((a, s) judgement * context) tzresult =
     log_stack loc stack_ty aft ;
     let j = Typed {loc; instr; bef = stack_ty; aft} in
     Ok (j, ctxt)
diff --git a/src/proto_016_PtMumbai/lib_protocol/skip_list_repr.ml b/src/proto_016_PtMumbai/lib_protocol/skip_list_repr.ml
index 17203bd1329fec7123f6dc7d4d1cc84d79f09d85..43f440c6f8120e7cbf07ab7925ce78548576bb0e 100644
--- a/src/proto_016_PtMumbai/lib_protocol/skip_list_repr.ml
+++ b/src/proto_016_PtMumbai/lib_protocol/skip_list_repr.ml
@@ -387,7 +387,7 @@ end) : S = struct
       let ( let* ) = bind
 
       module Option = struct
-        let (return [@ocaml.inline "always"]) = fun x -> M.return (Some x)
+        let[@ocaml.inline always] return = fun x -> M.return (Some x)
 
         let ( let* ) lo f =
           M.bind lo (function None -> M.return None | Some x -> f x)
@@ -574,7 +574,7 @@ end) : S = struct
   include Make_monadic (struct
     type 'a t = 'a
 
-    let (bind [@ocaml.inline "always"]) = ( |> )
+    let bind = ( |> )
 
     let[@ocaml.inline always] return x = x
   end)
diff --git a/src/proto_017_PtNairob/lib_protocol/script_ir_translator.ml b/src/proto_017_PtNairob/lib_protocol/script_ir_translator.ml
index e8934803b38823382691a38e653b0df38cc73147..893e7325600625b32a21607b5669e8eb12518872 100644
--- a/src/proto_017_PtNairob/lib_protocol/script_ir_translator.ml
+++ b/src/proto_017_PtNairob/lib_protocol/script_ir_translator.ml
@@ -2585,7 +2585,7 @@ and parse_instr :
         let stack_ty_after = unparse_stack_uncarbonated aft in
         log loc ~stack_ty_before ~stack_ty_after
   in
-  let typed_no_lwt ctxt loc instr aft =
+  let typed_no_lwt ctxt loc instr aft : ((a, s) judgement * context) tzresult =
     log_stack loc stack_ty aft ;
     let j = Typed {loc; instr; bef = stack_ty; aft} in
     Ok (j, ctxt)
diff --git a/src/proto_017_PtNairob/lib_protocol/skip_list_repr.ml b/src/proto_017_PtNairob/lib_protocol/skip_list_repr.ml
index 928a4514f99513de6dda51a0915c56af5c4a5a7c..b4fb27ed3d5e435b222d4b50b15a860326bf40e7 100644
--- a/src/proto_017_PtNairob/lib_protocol/skip_list_repr.ml
+++ b/src/proto_017_PtNairob/lib_protocol/skip_list_repr.ml
@@ -387,7 +387,7 @@ end) : S = struct
       let ( let* ) = bind
 
       module Option = struct
-        let (return [@ocaml.inline "always"]) = fun x -> M.return (Some x)
+        let[@ocaml.inline always] return = fun x -> M.return (Some x)
 
         let ( let* ) lo f =
           M.bind lo (function None -> M.return None | Some x -> f x)
@@ -574,7 +574,7 @@ end) : S = struct
   include Make_monadic (struct
     type 'a t = 'a
 
-    let (bind [@ocaml.inline "always"]) = ( |> )
+    let bind = ( |> )
 
     let[@ocaml.inline always] return x = x
   end)
diff --git a/src/proto_018_Proxford/lib_protocol/script_ir_translator.ml b/src/proto_018_Proxford/lib_protocol/script_ir_translator.ml
index f1f22087c1249f328a72fa8a827b879404271f71..919cfe1481d0389e340d68cd407ce6eadc1510a0 100644
--- a/src/proto_018_Proxford/lib_protocol/script_ir_translator.ml
+++ b/src/proto_018_Proxford/lib_protocol/script_ir_translator.ml
@@ -2702,7 +2702,7 @@ and parse_instr :
         let stack_ty_after = unparse_stack_uncarbonated aft in
         log loc ~stack_ty_before ~stack_ty_after
   in
-  let typed_no_lwt ctxt loc instr aft =
+  let typed_no_lwt ctxt loc instr aft : ((a, s) judgement * context) tzresult =
     log_stack loc stack_ty aft ;
     let j = Typed {loc; instr; bef = stack_ty; aft} in
     Ok (j, ctxt)
diff --git a/src/proto_019_PtParisB/lib_protocol/script_ir_translator.ml b/src/proto_019_PtParisB/lib_protocol/script_ir_translator.ml
index d6befe9ab5fdc7296de262479e4388bea7a778b5..82d15cd5184b1688ea50675768d62f1c48b50409 100644
--- a/src/proto_019_PtParisB/lib_protocol/script_ir_translator.ml
+++ b/src/proto_019_PtParisB/lib_protocol/script_ir_translator.ml
@@ -2818,7 +2818,7 @@ and parse_instr :
         let stack_ty_after = unparse_stack_uncarbonated aft in
         log loc ~stack_ty_before ~stack_ty_after
   in
-  let typed_no_lwt ctxt loc instr aft =
+  let typed_no_lwt ctxt loc instr aft : ((a, s) judgement * context) tzresult =
     log_stack loc stack_ty aft ;
     let j = Typed {loc; instr; bef = stack_ty; aft} in
     Ok (j, ctxt)
diff --git a/src/proto_020_PsParisC/lib_protocol/script_ir_translator.ml b/src/proto_020_PsParisC/lib_protocol/script_ir_translator.ml
index d6befe9ab5fdc7296de262479e4388bea7a778b5..82d15cd5184b1688ea50675768d62f1c48b50409 100644
--- a/src/proto_020_PsParisC/lib_protocol/script_ir_translator.ml
+++ b/src/proto_020_PsParisC/lib_protocol/script_ir_translator.ml
@@ -2818,7 +2818,7 @@ and parse_instr :
         let stack_ty_after = unparse_stack_uncarbonated aft in
         log loc ~stack_ty_before ~stack_ty_after
   in
-  let typed_no_lwt ctxt loc instr aft =
+  let typed_no_lwt ctxt loc instr aft : ((a, s) judgement * context) tzresult =
     log_stack loc stack_ty aft ;
     let j = Typed {loc; instr; bef = stack_ty; aft} in
     Ok (j, ctxt)
diff --git a/src/proto_021_PsQuebec/lib_protocol/script_ir_translator.ml b/src/proto_021_PsQuebec/lib_protocol/script_ir_translator.ml
index 988d822de9dbfad4478552d94dd96ec7fb88a0b1..9041c1f66f8062beb83f36ebef8cb82640718ae5 100644
--- a/src/proto_021_PsQuebec/lib_protocol/script_ir_translator.ml
+++ b/src/proto_021_PsQuebec/lib_protocol/script_ir_translator.ml
@@ -2818,7 +2818,7 @@ and parse_instr :
         let stack_ty_after = unparse_stack_uncarbonated aft in
         log loc ~stack_ty_before ~stack_ty_after
   in
-  let typed_no_lwt ctxt loc instr aft =
+  let typed_no_lwt ctxt loc instr aft : ((a, s) judgement * context) tzresult =
     log_stack loc stack_ty aft ;
     let j = Typed {loc; instr; bef = stack_ty; aft} in
     Ok (j, ctxt)