Add an example of operations on strings as sequences

Strings aren't strictly sequences, but various implicit conversions
exist to decorate strings with sequence-like behavior.