[m-rev.] diff: move contexts into goals in the parse tree

[Julien Fischer]

Hi Zoltan,

On Sat, 24 Jan 2015, Zoltan Somogyi wrote:

> This adds a couple of ZZZs, which I will fix soon.
>
> It also starts a cleanup of library/term.m. I want to finish it, but
> I think that should include moving the predicates related to type_to_term
> to a new module. What do people think about that?

In principle I have no objections to that change.  Would you move the
procedures in question into a new top-level module in the library or into
a sub-module of term?

Cheers,
Julien.