Type substitution in UniversalMorphismFromImage