Add HomomorphismStructure #40
Description
and rewrite/greatly simply the implementation EndAsEqualizer, even though EndAsEqualizer is only feasible for small examples. In any case, EndAsEqualizer will be a good test for the homomorphism structure.