Implement size and order on base graph type

Size gives the number of edges in a graph.
Order gives the number of vertices.
Both are very useful information, and deserve to be on the base Graph interface.