Change the premise of the `Validate` type-class to more strongly reflect the isomorphism to Either.

The `_Failure` and `_Success` prisms are now derived.

Update the examples to reflect the changes.

Update version numbers in both `validation` and `validation-examples`.