Documentation and refactoring of Either.