[m-rev.] for review: Fix abstract equivalence types.

[Zoltan Somogyi]

On Tue, 22 Aug 2017 08:52:13 +0200, Dirk Ziegemeyer <dirk at ziegemeyer.de> wrote:
> Is the abstract type definition of term.var as
> 
> :- type var(T)
>     --->    var(int).
> 
> a workaround for Mantis bug 411

No, it isn't.

Zoltan.