concrete ExtraScandNno of ExtraScandAbs = CatNno ** ExtraScand with
  (ResScand = ResNno) ;