Validation model and support code

[vsamtuc]

A model for recording validation results.

Model validation is an M2M transform: it turns an input model into a model of validation results.
We need a basic implementation for this, which is extensible and supports basic tools.