[m-rev.] for post-commit review: warn about bad coerce arities

[Zoltan Somogyi]

On 2024-05-28 17:32 +10:00 AEST, "Peter Wang" <novalazy at gmail.com> wrote:
> No, the restrictions on type, inst and mode names don't go that far.
> They stay within their own "categories".

That is correct. However, that is also exactly what I am proposing
to do with "coerce": that all its uses *in goals* should be for the
purpose of type coercion.

Zoltan.