Redone parametric types, RDA alg finished