Type substitution in UniversalMorphismFromImage
Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  Type substitution in UniversalMorphismFromImage