Rename OnePlus to OneAnd, with the intention of introduction OneOr which...

Rename `OnePlus` to `OneAnd`. Introduce `OneOr` where `OneOr[F[_], A] ≅ F[A] \/ A`