matching: clarify that the simplify_* functions do not actually fully simplify
matching: clarify that the simplify_* functions do not actually fully simplify

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