concrete Copy of CopyAbs = {
  lincat S, AB = Str ;
  lin s x = x ++ x ;
      end = [] ;
      a x = "a" ++ x ;
      b x = "b" ++ x ;
}