concrete StringsBW of Strings = LettersCnc ** {
  lincat S = Str ;
  lin E = [] ;
  lin C head tail = tail ++ head ;
}