[m-rev.] for possible review: tidying up reference manual

[Zoltan Somogyi]

On Fri, 19 Jul 2019 17:15:10 +1000 (AEST), Julien Fischer <jfischer at opturion.com> wrote:
> I had a chat with Leslie this morning; so far as Opturion is concerned
> we are not currently using solver types and are not planning to do so
> again.  From our point of view if the tradeoff for getting rid of "any"
> insts is a mode checker that fixes the issues around unique modes
> (particularly ui and mui; the former of which we use extensively and the
> latter of which we would like to use but is completely unusable) then
> that would be well worth it.

OK. Then it looks like my previous long-range plan (to implement constraint based
mode analysis initially only for procedures that do NOT have any solver types)
will work, with the additional possibility that once that is done, I won't have to include
solver types in that implementation.

For now, I will add the check for nonabstract solver types in the interface.

Zoltan.