[Validator] Improved test coverage of the Traverse constraint
[Validator] Improved inline documentation of the metadata classes