Improve output of test matcher
Add sorting features do DomainErrors
Add Equal definition for PathString
Improve type inference for sequence validator, closes #27