Relations merge

This completes the relations section, where pairs of sequences are assigned exclusive, equal or subset status.