Support for type arcs in a graph.