concrete ExtraScandNor of ExtraScandAbs = CatNor ** ExtraScand with
  (ResScand = ResNor) ;