Fix minor bug in `Ctype.full_expand` and document invariant
Fix minor bug in `Ctype.full_expand` and document invariant

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