implemented unification of X-yy=sum-{a,b,c}.

+ 2 tests