show actions; source/target

added functions to access source/target nodes from Edges:

sourceID
targetID
source
target

created showNodeAction and showEdgeAction and made Morphism an
instance of Show to print better organized infos.
translated from Mappings to Morphism

removed the temporaly added (simpler) structure Mapping to handle
proper Morphisms.
nothing?!