concrete ExtraCmn of ExtraChiAbs = CatCmn ** 
  open ResCmn, Prelude in {

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

}