component for an edge in an edge-node directed graph. Default appearance
is a solid line of width 1 with arrow pointing in the direction drawn.
Uses underlying TopoEdge to represent topology.
construct edge component with given ArrowLine graphic, optional
'parent', and optional specification of sub-edges in graphs internal
to nodes it gets connected to.