Nicer error message when a predicate is referenced with wrong arity

[burakemir]

When a rule body refers to predicate foo(X1,...,Xn) but foo has arity m != n, the error message currently says "could not find predicate".

It would be nicer to check whether there is a predicate with the same name, and suggest to use it.