Added construct_##type##_graph to digraph.h

construct_##_type##_graph constructs a directed graph from an initial
value and a generating function.