improve ExactPairIso
concatenating exact sequences
diagram for long exact sequence
squares and cubes
mayer-vietoris