Implement a graph type with support for generalized edge typing

[sdboyer]

In addition to edge weights, a more generalized edge typing model should be supported. This will likely require implementing an adjacency matrix, as well as some more complex interfaces for representing edges.