Modified Edges to support Klasses (subclasses of Token) as types.
All tests passing.