I like the idea of checking the leaf node. Maybe we only have to check the kind of the leave node; Based on the latest mails I guess the only kind which requires to invoke the traversable resolver should actually be `Kind.PROPERTY`. WDYT?