fix tests for new semantics of dot on refs
m-graph implementation
fix test message for frozen refs on graph, and add graph tests to main