Rephrase a suggestion in a typing error message related to coercions
Rephrase a suggestion in a typing error message related to coercions

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml