Support for binary negative slide

By definition, slide<-N>(a,b) is equivalent to slide<Card-N>(b,a)
where Card is the cardinal of a and b.