Added a new traits framework fro determining the mutability of graph types. This is used extensively in the new testing framework.