Rename 'validation' service to reflect what it actually does, namely: type inference
We're really not doing validation with this code, we're doing structural typing or inference. That should be reflected in the name of the module. "Validation" is a minefield of a concept in RDF, especially given the open world assumption, and we don't want to touch that with a 39 1/2 foot pole.