extended Seqable and also IUnifyTerms