concrete ExtraRomanceCat of ExtraRomanceAbs = CatCat ** ExtraRomance with
  (ResRomance = ResCat), (Grammar = GrammarCat) ;