Got the zip to work the way I wanted such that it returns the
least upper bound of both ERR types inside the two Every's.
Did same thing for transform. Last one up, validate.
Did the same thing for the validate method on Or. Types are all beautiful now.
Renamed Zippable to Accumulatable.