concrete RelativeNor of Relative = CatNor ** RelativeScand with
  (ResScand = ResNor) ;