string_pattern_impl
===================

A vector of strings.  Append extends the vector.  Superpose concatenates elements 
of the vectors element-wise.  Inner\_product counts the number of corresponding
elements that are equal.

Internally, a single string, with an array of element lengths.