concrete ExtraRomanceIta of ExtraRomanceAbs = CatIta ** ExtraRomance with
  (ResRomance = ResIta), (Grammar = GrammarIta) ;