Some small keypath extensions: identity and tuple components

[tera]

Would it allow answering the question of checking if the two keypaths are related?