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