Includes an error monad allowing aggregation.
Adds the Validation-aka-renamed-Either.