Add HomomorphismStructure

[mohamed-barakat]

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.