A pattern that acts as a binary vector, with 1 being equivalent to true, and
zero to 0 to false, and can be treated as a strength_pattern in most
instances. Superpose applies element-wise OR. Append concatenates the
vector. Inner_product counts the units for which AND is true.
Internal representation is in fact an array of the true elements. Superpose
produces the union. Append adds the elements, first increasing their value
by the existing notional width. Inner_product counts the size of the
intersection.