GeneralizedMorphismFromFactorToSubObject

now based on ImageEmbedding and CoastrictionToImage
instead of MonoEpiFactorization