typemod: do not change the scope when simplifying a signature
typemod: do not change the scope when simplifying a signature

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