add_monoid_hom.copy source