key_conversion_impl
===================

Converts a string\_pattern of a string\_representation (possibly representing 
a column of a dataframe\_for\_reps) to a localist\_pattern of the corresponding
keyed\_representation (the one of the same column).  If the string\_pattern has 
multiple elements, superpose the localist\_pattern of each.