[m-users.] type error message for polymorphic predicates

[Matthias Guedemann]

Dear Zoltan and Julien,

> I am guessing that the root cause of the confusion here is that
> message identifies the predicate only as </2, not as int.</2. That
> should be easy to fix.

I think this would be a good fix. Thanks.

regards,
Matthias