concrete ExtraChi of ExtraChiAbs = CatChi ** 
  open ResChi, Prelude in {

  lincat 
    Aspect = {s : Str ; a : ResChi.Aspect} ;

}