Follow the same general pattern used in OCD value comparison I think. i.e. provide a single TransitionOperator that provides logical operations over an array namespace. This can start out with a small set of operations and grow as there are quite a few variants that we might want to support inside of a single TransitionOperator vs forcing developers to chain together multiple discrete array operations (less efficient). But, we'll see. Baseline is pretty easy and we'll start there.