BVAL-403

* Adding example for traversable resolver invocation for method validation
* Pulling all explanatory phrases before the examples
* Wrapping examples in dedicated section
* Specifying types of nodes exemplary TR calls