-<!--
-$(devel.basic1).A.defs.A.AHead.type 0</key>
-$(devel.basic1).A.defs.A.ASort.type 0</key>
-$(devel.basic1).A.fwd.A_rect.A_rect.type 0</key>
-$(devel.basic1).aplus.defs.aplus.aplus.type 0</key>
-$(devel.basic1).app.defs.app1.app1.type 0</key>
-$(devel.basic1).app.defs.cbk.cbk.type 0</key>
-$(devel.basic1).aprem.defs.aprem.aprem.type 0</key>
-$(devel.basic1).arity.defs.arity.arity.type 0</key>
-$(devel.basic1).asucc.defs.asucc.asucc.type 0</key>
-$(devel.basic1).C.defs.C.CHead.type 0</key>
-$(devel.basic1).C.defs.C.CSort.type 0</key>
-$(devel.basic1).C.defs.cle.type 0</key>
-$(devel.basic1).C.defs.clt.type 0</key>
-$(devel.basic1).C.defs.CTail.CTail.type 0</key>
-$(devel.basic1).C.defs.cweight.cweight.type 0</key>
-$(devel.basic1).C.fwd.C_rect.C_rect.type 0</key>
-$(devel.basic1).cimp.defs.cimp.type 0</key>
-$(devel.basic1).clear.defs.clear.clear.type 0</key>
-$(devel.basic1).clen.defs.clen.clen.type 0</key>
-$(devel.basic1).cnt.defs.cnt.cnt.type 0</key>
-$(devel.basic1).csuba.defs.csuba.csuba.type 0</key>
-$(devel.basic1).csubc.defs.csubc.csubc.type 0</key>
-$(devel.basic1).csubst0.defs.csubst0.csubst0.type 0</key>
-$(devel.basic1).csubst1.defs.csubst1.csubst1.type 0</key>
-$(devel.basic1).csubt.defs.csubt.csubt.type 0</key>
-$(devel.basic1).csubv.defs.csubv.csubv.type 0</key>
--->
- <key name="const">$(devel.basic1).drop1.defs.drop1.drop1.type DropS 2 0</key>
-<!--
-$(devel.basic1).drop1.defs.ptrans.ptrans.type 0</key>
--->
- <key name="const">$(devel.basic1).drop.defs.drop.drop.type Drop 3 0</key>
-<!--
-$(devel.basic1).ex0.defs.leqz.leqz.type 0</key>
-$(devel.basic1).flt.defs.flt.type 0</key>
-$(devel.basic1).flt.defs.fweight.type 0</key>
-$(devel.basic1).fsubst0.defs.fsubst0.fsubst0.type 0</key>
-$(devel.basic1).G.defs.G.mk_G.type 0</key>
-$(devel.basic1).G.defs.next.next.type 0</key>
-$(devel.basic1).getl.defs.getl.getl.type 0</key>
-$(devel.basic1).iso.defs.iso.iso.type 0</key>
-$(devel.basic1).leq.defs.leq.leq.type 0</key>
--->
+ <key name="const">$(devel.basic1).A.defs.A.AHead.type To 2 0</key>
+ <key name="const">$(devel.basic1).A.defs.A.ASort.type AtomB 2 0</key>
+ <key name="const">$(devel.basic1).A.fwd.A_rect.A_rect.type APPL 4 0</key>
+ <key name="const">$(devel.basic1).aplus.defs.aplus.aplus.type PlusA 3 0</key>
+ <key name="const">$(devel.basic1).app.defs.app1.app1.type Shift 2 0</key>
+ <key name="const">$(devel.basic1).app.defs.cbk.cbk.type Level 1 0</key>
+ <key name="const">$(devel.basic1).aprem.defs.aprem.aprem.type CoPremise 3 0</key>
+ <key name="const">$(devel.basic1).arity.defs.arity.arity.type Arity 4 0</key>
+ <key name="const">$(devel.basic1).asucc.defs.asucc.asucc.type SuccA 2 0</key>
+ <key name="const">$(devel.basic1).C.defs.C.CHead.type LHead 3 0</key>
+ <key name="const">$(devel.basic1).C.defs.C.CSort.type AtomA 1 0</key>
+ <key name="const">$(devel.basic1).C.defs.cle.type LE 2 0</key>
+ <key name="const">$(devel.basic1).C.defs.clt.type LT 2 0</key>
+ <key name="const">$(devel.basic1).C.defs.CTail.CTail.type THead 3 0</key>
+ <key name="const">$(devel.basic1).C.defs.cweight.cweight.type WeightA 1 0</key>
+ <key name="const">$(devel.basic1).C.fwd.C_rect.C_rect.type APPL 4 0</key>
+ <key name="const">$(devel.basic1).cimp.defs.cimp.type SubEq 2 0</key>
+ <key name="const">$(devel.basic1).clear.defs.clear.clear.type Drop 2 0</key>
+ <key name="const">$(devel.basic1).clen.defs.clen.clen.type Length 1 0</key>
+ <key name="const">$(devel.basic1).cnt.defs.cnt.cnt.type LEnv 1 0</key>
+ <key name="const">$(devel.basic1).csuba.defs.csuba.csuba.type LSupA 3 0</key>
+ <key name="const">$(devel.basic1).csubc.defs.csubc.csubc.type LSupC 3 0</key>
+ <key name="const">$(devel.basic1).csubst0.defs.csubst0.csubst0.type Subst 4 0</key>
+ <key name="const">$(devel.basic1).csubst1.defs.csubst1.csubst1.type SubstS 4 0</key>
+ <key name="const">$(devel.basic1).csubt.defs.csubt.csubt.type LSupT 3 0</key>
+ <key name="const">$(devel.basic1).csubv.defs.csubv.csubv.type LSup 2 0</key>
+ <key name="const">$(devel.basic1).drop1.defs.drop1.drop1.type DropS 3 0</key>
+ <key name="const">$(devel.basic1).drop1.defs.ptrans.ptrans.type ApplS 2 0</key>
+ <key name="const">$(devel.basic1).drop.defs.drop.drop.type DropB 4 0</key>
+ <key name="const">$(devel.basic1).ex0.defs.leqz.leqz.type Equiv 2 0</key>
+ <key name="const">$(devel.basic1).flt.defs.flt.type LTB 4 0</key>
+ <key name="const">$(devel.basic1).flt.defs.fweight.type WeightB 2 0</key>
+ <key name="const">$(devel.basic1).fsubst0.defs.fsubst0.fsubst0.type SubstB 6 0</key>
+ <key name="const">$(devel.basic1).G.defs.G.mk_G.type MkSH 2 0</key>
+ <key name="const">$(devel.basic1).G.defs.next.next.type Next 2 0</key>
+ <key name="const">$(devel.basic1).getl.defs.getl.getl.type DropA 3 0</key>
+ <key name="const">$(devel.basic1).iso.defs.iso.iso.type SameTop 2 0</key>
+ <key name="const">$(devel.basic1).leq.defs.leq.leq.type EquivA 3 0</key>