concrete PredefCnc of PredefAbs = {
  lincat 
    Int, Float, String = {s : Str} ;
} ;