The type declarations
:- solver type t1.
:- solver type t2(T1, T2).
declare types t1/0 and t2/2 to be abstract solver types.
Abstract solver type declarations are identical to ordinary abstract
type declarations except for the solver keyword.