Join() type checking around Relation interface.
ShortestPath example.