preparing to remove GraphClass
export in alphabetical order
implemented functional, injective etc.
starting morphism
Morphism + Relation; GraphMorphism
removed commented out code
length test replaced by containsOne
typed morphism
TypedMorphism -> TypedGraphMorphism
TypedMorphism -> TypedGraphMorphism