[m-rev.] for review: check "for type_ctor" annotations on insts

[Zoltan Somogyi]

On Thu, 30 Dec 2021 13:34:01 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote:
> > --- a/doc/reference_manual.texi
> > +++ b/doc/reference_manual.texi
> > @@ -3699,8 +3699,9 @@ after the name of the inst, like this:
> >
> >  @noindent
> >  This can be useful documentation,
> > -even though the compiler does not (yet) prevent
> > -the use of such insts on values of other types.
> > +and the compiler will generate an error message
> > +an inst that was declared to be intended for values of one type constructor
> 
> ... *when* an inst
> 
> Also, I think you can drop the words "to be intended".

I dropped only "intended", to leave "to be for ...", but
followed all your other suggestions. Thanks.

Zoltan.