get rid of the iso stuff, just keep NaturalTransformation
add instances for Validation
use \/ and V instead of the tagged versions