Takafumi Saikawa

Rebased to trunk, now ready for reviews.

> This is useful to have in robustmean, could you revive this and put it in the next release? Let's do it! I think I can look at this after...

The proper way for RVs to behave like fct_ringType will be to definene them in the hierarchy, inheriting definitions from functions.v. I would really like to use HB for such...

Yes.

Yes.

> Beware that the error in the testsuite for `pr7817_bad.ml` is a soundness issue. Yes. I have been fooled by false-negatives out of the testsuite that seems quite unstable in...

fixed the soundness issue and rebased

> After some code jigsawing [b478b0b](https://github.com/ocaml/ocaml/commit/b478b0b798f4f1bcf3c6d4b12f04f0cf2b940298) , I can confirm that this version of the PR never calls function reading the current environment from functions using an explicit level argument....

I have just finished renaming according to the last meeting. Now this should be ready to merge.

> @t6s currently the [commit list](https://github.com/ocaml/ocaml/pull/11536/commits) for this PR shows two commits at the beginning that seem unrelated, is this intentional? Yes. The commits are intended to massage the control...