[READ ONLY] A set of validation abstractions. Subtree split of the Pandawa Validation contracts (see pandawa/pandawa)