[m-dev.] diff for review: overload resolution for higher-order terms

[Simon TAYLOR]

> 
> Can someone please review this change?
> 
> Fix a bug: use the types to resolve overloading for higher-order terms.
> This avoids a software error in get_pred_and_proc_id when you try to
> take the address of an overloaded predicate or function, e.g. `<',
> without using an explicit module qualifier.
> 

That looks fine Fergus,

Simon.