TypedMorphism -> TypedGraphMorphism