concrete ExtraRomancePor of ExtraRomanceAbs = CatPor ** ExtraRomance with
  (ResRomance = ResPor), (Grammar = GrammarPor) ;