concrete MathNor of Math = CatNor ** MathScand with
  (ResScand = ResNor) ;