In the spirit of FoldCat as discussed in #230, let all BinaryValueExpressions accept a single operand and then fold all the results of evaluating it using itself as a reducer. This has been specifically implemented for Cat but can be generalized. For example, Add would become Sum.