Remove some Flambda specificities to translcore
Remove some Flambda specificities to translcore

This prevents some type annotations to be propagated to the middle-end,
but this is not really important as those only concern constants which
already provide all the usefull information about their shape.

yunxing/ocaml,yunxing/ocaml,yunxing/ocaml,gerdstolpmann/ocaml,msprotz/ocaml,eliberis/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,yunxing/ocaml,msprotz/ocaml,gerdstolpmann/ocaml,msprotz/ocaml,eliberis/ocaml,yunxing/ocaml,eliberis/ocaml,msprotz/ocaml,eliberis/ocaml,gerdstolpmann/ocaml,msprotz/ocaml,eliberis/ocaml