-$(devel.basic1).nf2.defs.nf2.type 0</key>
-$(devel.basic1).nf2.defs.nfs2.nfs2.type 0</key>
-$(devel.basic1).pc1.defs.pc1.type 0</key>
-$(devel.basic1).pc3.defs.pc3_left.pc3_left.type 0</key>
-$(devel.basic1).pc3.defs.pc3.type 0</key>
-$(devel.basic1).pr0.defs.pr0.pr0.type 0</key>
-$(devel.basic1).pr1.defs.pr1.pr1.type 0</key>
-$(devel.basic1).pr2.defs.pr2.pr2.type 0</key>
-$(devel.basic1).pr3.defs.pr3.pr3.type 0</key>
-$(devel.basic1).r.defs.r.type 0</key>
-$(devel.basic1).sc3.defs.sc3.sc3.type 0</key>
-$(devel.basic1).s.defs.s.type 0</key>
-$(devel.basic1).sn3.defs.sn3.sn3.type 0</key>
-$(devel.basic1).sn3.defs.sns3.sns3.type 0</key>
-$(devel.basic1).sty0.defs.sty0.sty0.type 0</key>
-$(devel.basic1).sty1.defs.sty1.sty1.type 0</key>
-$(devel.basic1).subst0.defs.subst0.subst0.type 0</key>
-$(devel.basic1).subst1.defs.subst1.subst1.type 0</key>
-$(devel.basic1).subst.defs.subst.subst.type 0</key>
+-->
+ <key name="const">$(devel.basic1).nf2.defs.nf2.type RNormal 2 0</key>
+ <key name="const">$(devel.basic1).nf2.defs.nfs2.nfs2.type RNormal 2 0</key>
+ <key name="const">$(devel.basic1).pc1.defs.pc1.type Convert 3 0</key>
+ <key name="const">$(devel.basic1).pc3.defs.pc3_left.pc3_left.type CoConvertS 3 0</key>
+ <key name="const">$(devel.basic1).pc3.defs.pc3.type ConvertS 3 0</key>
+ <key name="const">$(devel.basic1).pr0.defs.pr0.pr0.type RStep 2 0</key>
+ <key name="const">$(devel.basic1).pr1.defs.pr1.pr1.type RStepS 2 0</key>
+ <key name="const">$(devel.basic1).pr2.defs.pr2.pr2.type RStepA 3 0</key>
+ <key name="const">$(devel.basic1).pr3.defs.pr3.pr3.type RStepSA 3 0</key>
+ <key name="const">$(devel.basic1).r.defs.r.type FunW 2 0</key>
+ <key name="const">$(devel.basic1).sc3.defs.sc3.sc3.type RCandidate 4 0</key>
+ <key name="const">$(devel.basic1).s.defs.s.type FunV 2 0</key>
+ <key name="const">$(devel.basic1).sn3.defs.sn3.sn3.type RStrong 2 0</key>
+ <key name="const">$(devel.basic1).sn3.defs.sns3.sns3.type RStrong 2 0</key>
+ <key name="const">$(devel.basic1).sty0.defs.sty0.sty0.type TStep 4 0</key>
+ <key name="const">$(devel.basic1).sty1.defs.sty1.sty1.type TStepS 4 0</key>
+ <key name="const">$(devel.basic1).subst0.defs.subst0.subst0.type Subst 4 0</key>
+ <key name="const">$(devel.basic1).subst1.defs.subst1.subst1.type SubstS 4 0</key>
+ <key name="const">$(devel.basic1).subst.defs.subst.subst.type FunSubstS 3 0</key>
+<!--