scanT/reduceT representation now requires equal accum and array count.

Once again, our data types more strictly encode otherwise implicit
requirements!  Hooray!