Add more dependencies in the algberas' Makefile.am.

6 files changed, 389 insertions, 123 deletions

diff --git a/src/algebra/Makefile.am b/src/algebra/Makefile.am
index a44bed95..ff920aaf 100644
--- a/src/algebra/Makefile.am
+++ b/src/algebra/Makefile.am
@@ -324,7 +324,7 @@ strap-0/FRAC.$(FASLEXT): strap-0/QFCAT.$(FASLEXT)
 strap-0/MATRIX.$(FASLEXT): strap-0/MATCAT.$(FASLEXT)
 strap-0/SUP.$(FASLEXT): strap-0/UPOLYC.$(FASLEXT) strap-0/PR.$(FASLEXT)
 strap-0/PR.$(FASLEXT): strap-0/FAMR.$(FASLEXT)
-strap-0/TABLE.$(FASLEXT): strap-0/TBAGG.$(FASLEXT)
+strap-0/TABLE.$(FASLEXT): strap-0/TBAGG.$(FASLEXT) strap-0/INTABL.$(FASLEXT)
 strap-0/EQ.$(FASLEXT): strap-0/TYPE.$(FASLEXT) strap-0/FUNCTOR.$(FASLEXT) \
 	strap-0/IEVALAB.$(FASLEXT) strap-0/KOERCE.$(FASLEXT) \
 	strap-0/BOOLEAN.$(FASLEXT) strap-0/EVALAB.$(FASLEXT) \
@@ -357,6 +357,9 @@ strap-0/FR.$(FASLEXT): strap-0/INTDOM.$(FASLEXT) strap-0/FUNCTOR.$(FASLEXT) \
 strap-0/PATTERN.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \
 	strap-0/RETRACT.$(FASLEXT)
 
+strap-0/SEX.$(FASLEXT): strap-0/SEXOF.$(FASLEXT)
+strap-0/SEXOF.$(FASLEXT): strap-0/SEXCAT.$(FASLEXT)
+
 strap-0/SYMBOL.$(FASLEXT): strap-0/ORDSET.$(FASLEXT)
 
 strap-0/BOP.$(FASLEXT): strap-0/ORDSET.$(FASLEXT) strap-0/OPERCAT.$(FASLEXT)
@@ -379,6 +382,39 @@ strap-0/CACHSET.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
 strap-0/LO.$(FASLEXT): strap-0/MODULE.$(FASLEXT) \
 	strap-0/COMRING.$(FASLEXT) strap-0/OAGROUP.$(FASLEXT)
 
+strap-0/CCLASS.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \
+	strap-0/KONVERT.$(FASLEXT) strap-0/FSAGG.$(FASLEXT)
+
+strap-0/FSAGG.$(FASLEXT): strap-0/DIAGG.$(FASLEXT) \
+	strap-0/SETAGG.$(FASLEXT) strap-0/FINAGG.$(FASLEXT)
+
+strap-0/FLASORT.$(FASLEXT): strap-0/TYPE.$(FASLEXT) strap-0/FLAGG.$(FASLEXT) \
+	strap-0/SMAGG.$(FASLEXT)
+
+strap-0/GENPGCD.$(FASLEXT): strap-0/POLYCAT.$(FASLEXT) \
+	strap-0/ORDSET.$(FASLEXT) strap-0/OAMONS.$(FASLEXT) \
+	strap-0/PFECAT.$(FASLEXT)
+
+strap-0/PFBR.$(FASLEXT): strap-0/PFECAT.$(FASLEXT) strap-0/OAMONS.$(FASLEXT) \
+	strap-0/POLYCAT.$(FASLEXT)
+
+strap-0/DDFACT.$(FASLEXT): strap-0/FFIELDC.$(FASLEXT)
+strap-0/FFIELDC.$(FASLEXT): strap-0/FPC.$(FASLEXT)
+strap-0/INDE.$(FASLEXT): strap-0/IDPC.$(FASLEXT)
+strap-0/STREAM.$(FASLEXT): strap-0/LZSTAGG.$(FASLEXT)
+strap-0/SAE.$(FASLEXT): strap-0/UPOLYC.$(FASLEXT) strap-0/MONOGEN.$(FASLEXT)
+strap-0/MONOGEN.$(FASLEXT): strap-0/COMRING.$(FASLEXT) \
+	strap-0/UPOLYC.$(FASLEXT) strap-0/FRAMALG.$(FASLEXT)
+
+strap-0/FRAMALG.$(FASLEXT): strap-0/FINRALG.$(FASLEXT)
+strap-0/FINRALG.$(FASLEXT): strap-0/COMRING.$(FASLEXT) \
+	strap-0/UPOLYC.$(FASLEXT) strap-0/ALGEBRA.$(FASLEXT)
+strap-0/NORMRETR.$(FASLEXT): strap-0/FAXF.$(FASLEXT)
+strap-0/FAXF.$(FASLEXT): strap-0/XF.$(FASLEXT)
+strap-0/COMPLEX.$(FASLEXT): strap-0/COMPCAT.$(FASLEXT)
+strap-0/COMPCAT.$(FASLEXT): strap-0/COMRING.$(FASLEXT) 
+
+
 # Bootstrap stage 1 dependencies.
 # At this stage, we attempt to compile domains essential for completing
 # the bootstrap process (stage 2).  Those that were compiled at stage 0
@@ -394,7 +430,7 @@ strap-1/SETCAT.$(FASLEXT): strap-1/BASTYPE.$(FASLEXT) \
 
 strap-1/LOGIC.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
 
-strap-1/BOOLE.$(FASLEXT): strap-1/LOGIC.$(FASLEXT)
+strap-1/BOOLE.$(FASLEXT): strap-1/LOGIC.$(FASLEXT) strap-0/INFORM.$(FASLEXT)
 
 strap-1/PROPLOG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
 	strap-1/BOOLE.$(FASLEXT)
@@ -414,7 +450,8 @@ strap-1/PID.$(FASLEXT): strap-1/GCDDOM.$(FASLEXT) \
 	strap-0/MAYBE.$(FASLEXT)
 
 strap-1/GCDDOM.$(FASLEXT): strap-1/INTDOM.$(FASLEXT) \
-	strap-0/LIST.$(FASLEXT) strap-0/SUP.$(FASLEXT)
+	strap-0/LIST.$(FASLEXT) strap-0/SUP.$(FASLEXT) \
+	strap-0/FRAC.$(FASLEXT)
 
 strap-1/EUCDOM.$(FASLEXT): strap-1/PID.$(FASLEXT) \
 	strap-0/BOOLEAN.$(FASLEXT) strap-0/LSAGG.$(FASLEXT)
@@ -429,9 +466,9 @@ strap-1/RLINSET.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
 strap-1/LINSET.$(FASLEXT): strap-1/LLINSET.$(FASLEXT) \
 	strap-1/RLINSET.$(FASLEXT)
 
-strap-1/SGROUP.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
+strap-1/SGROUP.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) strap-0/REPSQ.$(FASLEXT)
 
-strap-1/ABELSG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
+strap-1/ABELSG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) strap-0/REPDB.$(FASLEXT)
 
 strap-1/MONOID.$(FASLEXT): strap-1/SGROUP.$(FASLEXT)
 
@@ -515,7 +552,8 @@ strap-1/CHARNZ.$(FASLEXT): strap-1/RING.$(FASLEXT)
 
 strap-1/FFIELDC.$(FASLEXT): strap-1/FPC.$(FASLEXT) strap-1/FINITE.$(FASLEXT) \
 	strap-1/STEP.$(FASLEXT) strap-1/DIFRING.$(FASLEXT) \
-	strap-0/TABLE.$(FASLEXT)
+	strap-0/TABLE.$(FASLEXT) strap-0/ONECOMP.$(FASLEXT) \
+	strap-0/DLP.$(FASLEXT) strap-0/DDFACT.$(FASLEXT)
 
 strap-1/STEP.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
 
@@ -532,13 +570,23 @@ strap-1/INS.$(FASLEXT): strap-1/UFD.$(FASLEXT) strap-1/EUCDOM.$(FASLEXT) \
 	strap-1/REAL.$(FASLEXT) strap-1/CHARZ.$(FASLEXT) \
 	strap-1/STEP.$(FASLEXT) strap-1/PATMAB.$(FASLEXT) \
 	strap-0/PATTERN.$(FASLEXT) strap-0/INFORM.$(FASLEXT) \
-	strap-0/NNI.$(FASLEXT) strap-0/FRAC.$(FASLEXT)
+	strap-0/NNI.$(FASLEXT) strap-0/FRAC.$(FASLEXT) \
+	strap-0/SYMBOL.$(FASLEXT) strap-0/SEX.$(FASLEXT) \
+	strap-0/INTFACT.$(FASLEXT) strap-0/PRIMES.$(FASLEXT) \
+	strap-0/COMBINAT.$(FASLEXT) strap-0/PATRES.$(FASLEXT) \
+	strap-0/PMINS.$(FASLEXT)
+
+strap-0/INTFACT.$(FASLEXT): strap-0/INS.$(FASLEXT)
+strap-0/PRIMES.$(FASLEXT): strap-0/INS.$(FASLEXT)
+strap-0/COMBINAT.$(FASLEXT): strap-0/INS.$(FASLEXT)
+strap-0/PATRES.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+strap-0/PMINS.$(FASLEXT): strap-0/INS.$(FASLEXT)
 
 strap-1/PATMAB.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
 
 strap-1/PATTERN.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
 	strap-1/RETRACT.$(FASLEXT) strap-0/SYMBOL.$(FASLEXT) \
-	strap-0/BOP.$(FASLEXT)
+	strap-0/BOP.$(FASLEXT) strap-0/ANY1.$(FASLEXT)
 
 strap-1/LINEXP.$(FASLEXT): strap-1/LMODULE.$(FASLEXT)
 
@@ -578,7 +626,8 @@ strap-1/HYPCAT.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT)
 strap-1/AHYP.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
 strap-1/ELEMFUN.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-1/MONOID.$(FASLEXT)
 
-strap-1/IDPC.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) strap-1/FUNCTOR.$(FASLEXT)
+strap-1/IDPC.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) strap-1/FUNCTOR.$(FASLEXT) \
+	strap-0/IDPT.$(FASLEXT)
 
 strap-1/AMR.$(FASLEXT): strap-1/RING.$(FASLEXT) strap-1/BMODULE.$(FASLEXT) \
 	strap-1/ALGEBRA.$(FASLEXT) strap-1/FIELD.$(FASLEXT) \
@@ -595,16 +644,21 @@ strap-1/POLYCAT.$(FASLEXT): strap-1/PDRING.$(FASLEXT) \
 	strap-1/RETRACT.$(FASLEXT) strap-1/FLINEXP.$(FASLEXT) \
 	strap-1/VECTOR.$(FASLEXT) strap-0/MATRIX.$(FASLEXT) \
 	strap-0/LIST.$(FASLEXT) strap-0/SUP.$(FASLEXT) \
-	strap-0/INFORM.$(FASLEXT)
+	strap-0/INFORM.$(FASLEXT) strap-0/GENPGCD.$(FASLEXT) \
+	strap-0/PFBR.$(FASLEXT) strap-0/MULTSQFR.$(FASLEXT) \
+	strap-0/PSQFR.$(FASLEXT) strap-0/PMPLCAT.$(FASLEXT) \
+	strap-0/POLYLIFT.$(FASLEXT)
 
 strap-1/UPOLYC.$(FASLEXT): strap-1/POLYCAT.$(FASLEXT) \
 	strap-1/ELTAB.$(FASLEXT) strap-1/DIFRING.$(FASLEXT) \
 	strap-1/DIFEXT.$(FASLEXT) strap-1/STEP.$(FASLEXT) \
 	strap-1/COMRING.$(FASLEXT) strap-1/INTDOM.$(FASLEXT) \
 	strap-1/FIELD.$(FASLEXT) strap-1/ALGEBRA.$(FASLEXT) \
-	strap-1/SAOS.$(FASLEXT)
+	strap-1/SAOS.$(FASLEXT) strap-0/PFBRU.$(FASLEXT) \
+	strap-0/FR2.$(FASLEXT) strap-0/UPSQFREE.$(FASLEXT)
 
-strap-1/PFECAT.$(FASLEXT): strap-1/UFD.$(FASLEXT) strap-1/CHARZ.$(FASLEXT)
+strap-1/PFECAT.$(FASLEXT): strap-1/UFD.$(FASLEXT) strap-1/CHARZ.$(FASLEXT) \
+	strap-0/LPEFRAC.$(FASLEXT)
 
 strap-1/QFCAT.$(FASLEXT): strap-1/FIELD.$(FASLEXT) \
 	strap-1/ALGEBRA.$(FASLEXT) strap-1/RETRACT.$(FASLEXT) \
@@ -614,7 +668,8 @@ strap-1/QFCAT.$(FASLEXT): strap-1/FIELD.$(FASLEXT) \
 	strap-1/OINTDOM.$(FASLEXT) strap-1/REAL.$(FASLEXT) \
 	strap-1/KONVERT.$(FASLEXT) strap-1/CHARZ.$(FASLEXT) \
 	strap-1/CHARNZ.$(FASLEXT) strap-1/EUCDOM.$(FASLEXT) \
-	strap-1/PFECAT.$(FASLEXT)
+	strap-1/PFECAT.$(FASLEXT) strap-0/MCDEN.$(FASLEXT) \
+	strap-0/PMQFCAT.$(FASLEXT)
 
 strap-1/FEVALAB.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
 	strap-1/FUNCTOR.$(FASLEXT) strap-1/EVALAB.$(FASLEXT) \
@@ -668,13 +723,8 @@ strap-1/SRAGG.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) \
 	strap-0/CHAR.$(FASLEXT) strap-0/CCLASS.$(FASLEXT) \
 	strap-0/STRING.$(FASLEXT)
 
-strap-0/CCLASS.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \
-	strap-0/KONVERT.$(FASLEXT) strap-0/FSAGG.$(FASLEXT)
-
-strap-0/FSAGG.$(FASLEXT): strap-0/DIAGG.$(FASLEXT) \
-	strap-0/SETAGG.$(FASLEXT) strap-0/FINAGG.$(FASLEXT)
-
-strap-1/A1AGG.$(FASLEXT): strap-1/FLAGG.$(FASLEXT) strap-1/SMAGG.$(FASLEXT)
+strap-1/A1AGG.$(FASLEXT): strap-1/FLAGG.$(FASLEXT) strap-1/SMAGG.$(FASLEXT) \
+	strap-0/FLASORT.$(FASLEXT)
 
 strap-1/FLAGG.$(FASLEXT): strap-1/LNAGG.$(FASLEXT) strap-1/FINAGG.$(FASLEXT)
 
@@ -686,7 +736,7 @@ strap-1/LNAGG.$(FASLEXT): strap-1/IXAGG.$(FASLEXT) \
 
 strap-1/CLAGG.$(FASLEXT): strap-1/HOAGG.$(FASLEXT)
 strap-1/IXAGG.$(FASLEXT): strap-1/HOAGG.$(FASLEXT) \
-	strap-1/ELTAGG.$(FASLEXT)
+	strap-1/ELTAGG.$(FASLEXT) strap-0/VOID.$(FASLEXT)
 
 strap-1/HOAGG.$(FASLEXT): strap-1/AGG.$(FASLEXT) strap-1/FUNCTOR.$(FASLEXT) \
 	strap-1/KOERCE.$(FASLEXT) strap-1/BASTYPE.$(FASLEXT) \
@@ -755,7 +805,9 @@ strap-1/NNI.$(FASLEXT): strap-1/OAMONS.$(FASLEXT) strap-1/INT.$(FASLEXT)
 
 strap-1/INT.$(FASLEXT): strap-1/INS.$(FASLEXT) \
 	strap-1/SUP.$(FASLEXT) strap-0/MATRIX.$(FASLEXT) \
-	strap-1/VECTOR.$(FASLEXT)
+	strap-1/VECTOR.$(FASLEXT) strap-0/INTSLPE.$(FASLEXT) \
+	strap-0/GALFACT.$(FASLEXT) strap-0/FRUTIL.$(FASLEXT) \
+	strap-0/HEUGCD.$(FASLEXT)
 
 strap-1/MAYBE.$(FASLEXT): strap-1/UTYPE.$(FASLEXT) \
 	strap-1/RETRACT.$(FASLEXT) strap-1/KOERCE.$(FASLEXT) \
@@ -763,15 +815,19 @@ strap-1/MAYBE.$(FASLEXT): strap-1/UTYPE.$(FASLEXT) \
 
 strap-1/DFLOAT.$(FASLEXT): strap-1/FPS.$(FASLEXT) \
 	strap-1/DIFRING.$(FASLEXT) strap-1/TRANFUN.$(FASLEXT) \
-	strap-1/KONVERT.$(FASLEXT)
+	strap-1/KONVERT.$(FASLEXT) strap-0/DFSFUN.$(FASLEXT)
+
+strap-1/DFSFUN.$(FASLEXT): strap-0/COMPLEX.$(FASLEXT) strap-0/INTRET.$(FASLEXT)
 
 strap-1/FLOAT.$(FASLEXT): strap-1/FPS.$(FASLEXT) \
 	strap-1/DIFRING.$(FASLEXT) strap-1/TRANFUN.$(FASLEXT) \
 	strap-1/KONVERT.$(FASLEXT) strap-1/KVTFROM.$(FASLEXT) \
-	strap-1/INT.$(FASLEXT)
+	strap-1/INT.$(FASLEXT) strap-0/IROOT.$(FASLEXT)
 
 strap-1/SUP.$(FASLEXT): strap-1/UPOLYC.$(FASLEXT) strap-1/PR.$(FASLEXT) \
-	strap-1/FPC.$(FASLEXT) strap-1/FFIELDC.$(FASLEXT)
+	strap-1/FPC.$(FASLEXT) strap-1/FFIELDC.$(FASLEXT) \
+	strap-0/UPMP.$(FASLEXT) strap-0/TWOFACT.$(FASLEXT) \
+	strap-0/FFSLPE.$(FASLEXT) strap-0/PRS.$(FASLEXT)
 
 strap-1/PR.$(FASLEXT): strap-1/FAMR.$(FASLEXT) strap-1/FM.$(FASLEXT)
 
@@ -790,7 +846,8 @@ strap-1/PAIR.$(FASLEXT): strap-1/KOERCE.$(FASLEXT) \
 	strap-1/SETCAT.$(FASLEXT) strap-0/OUTFORM.$(FASLEXT)
 
 strap-1/MATRIX.$(FASLEXT): strap-1/MATCAT.$(FASLEXT) \
-	strap-1/IARRAY2.$(FASLEXT)
+	strap-1/IARRAY2.$(FASLEXT) strap-0/MATSTOR.$(FASLEXT) \
+	strap-0/MATLIN.$(FASLEXT)
 
 strap-1/IARRAY2.$(FASLEXT): strap-1/ARR2CAT.$(FASLEXT) \
 	strap-1/PRIMARR.$(FASLEXT) strap-1/INT.$(FASLEXT) \
@@ -805,14 +862,16 @@ strap-1/LIST.$(FASLEXT): strap-1/KOERCE.$(FASLEXT) \
 strap-1/VECTOR.$(FASLEXT): strap-1/VECTCAT.$(FASLEXT) \
 	strap-1/ARRAY1.$(FASLEXT)
 
-strap-1/ARRAY1.$(FASLEXT): strap-1/A1AGG.$(FASLEXT)
+strap-1/ARRAY1.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) strap-1/IARRAY1.$(FASLEXT)
 
 strap-1/IARRAY1.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) \
 	strap-0/PRIMARR.$(FASLEXT)
 
-strap-1/FRAC.$(FASLEXT): strap-1/QFCAT.$(FASLEXT)
+strap-1/FRAC.$(FASLEXT): strap-1/QFCAT.$(FASLEXT) \
+	strap-1/LA.$(FASLEXT) strap-0/UPOLYC2.$(FASLEXT)
 
-strap-1/STRING.$(FASLEXT): strap-1/SRAGG.$(FASLEXT) strap-1/CHAR.$(FASLEXT)
+strap-1/STRING.$(FASLEXT): strap-1/SRAGG.$(FASLEXT) strap-1/CHAR.$(FASLEXT) \
+	strap-1/IDENT.$(FASLEXT)
 
 strap-1/CHAR.$(FASLEXT): strap-1/ORDFIN.$(FASLEXT) strap-1/CCLASS.$(FASLEXT)
 
@@ -821,7 +880,8 @@ strap-1/CCLASS.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
 	strap-1/FSAGG.$(FASLEXT) strap-1/KONVERT.$(FASLEXT) \
 	strap-1/IBITS.$(FASLEXT)
 
-strap-1/TABLE.$(FASLEXT): strap-1/TBAGG.$(FASLEXT)
+strap-1/TABLE.$(FASLEXT): strap-1/TBAGG.$(FASLEXT) \
+	strap-0/HASHTBL.$(FASLEXT)
 
 strap-1/IBITS.$(FASLEXT): strap-1/BTAGG.$(FASLEXT)
 
@@ -845,15 +905,21 @@ strap-1/BOP.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) strap-1/OPERCAT.$(FASLEXT) \
 	strap-0/OUTFORM.$(FASLEXT) strap-0/INFORM.$(FASLEXT)
 
 strap-1/ES.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) strap-1/RETRACT.$(FASLEXT) \
-	strap-1/IEVALAB.$(FASLEXT) strap-0/BOP.$(FASLEXT) \
-	strap-0/SYMBOL.$(FASLEXT) strap-0/KERNEL.$(FASLEXT)
+	strap-1/IEVALAB.$(FASLEXT) strap-1/REF.$(FASLEXT) \
+	strap-1/ALIST.$(FASLEXT) strap-1/PRIMARR.$(FASLEXT) \
+	strap-0/BOP.$(FASLEXT) 	strap-0/SYMBOL.$(FASLEXT) \
+	strap-0/KERNEL.$(FASLEXT) strap-0/COMMONOP.$(FASLEXT) \
+	strap-0/NONE.$(FASLEXT) strap-0/ARITY.$(FASLEXT) \
+	strap-0/BOP1.$(FASLEXT)
 
 strap-1/EQ.$(FASLEXT): strap-1/FUNCTOR.$(FASLEXT) strap-1/IEVALAB.$(FASLEXT) \
 	strap-1/SETCAT.$(FASLEXT) strap-1/KOERCE.$(FASLEXT) \
 	strap-1/ABELSG.$(FASLEXT) strap-1/ABELGRP.$(FASLEXT) \
 	strap-1/MONOID.$(FASLEXT) strap-1/GROUP.$(FASLEXT) \
 	strap-1/BMODULE.$(FASLEXT) strap-1/COMRING.$(FASLEXT) \
-	strap-1/VSPACE.$(FASLEXT) strap-1/ES.$(FASLEXT)
+	strap-1/VSPACE.$(FASLEXT) strap-0/ES.$(FASLEXT) \
+	strap-0/POLY.$(FASLEXT) strap-0/MULTFACT.$(FASLEXT) \
+	strap-0/INDE.$(FASLEXT) strap-0/CARD.$(FASLEXT)
 
 strap-1/LA.$(FASLEXT): strap-1/ALGEBRA.$(FASLEXT) \
 	strap-1/COMRING.$(FASLEXT) strap-0/LO.$(FASLEXT)
@@ -866,10 +932,49 @@ strap-1/FR.$(FASLEXT): strap-1/INTDOM.$(FASLEXT) strap-1/DIFEXT.$(FASLEXT) \
 strap-1/INFORM.$(FASLEXT): strap-1/SEXCAT.$(FASLEXT) \
 	strap-1/KONVERT.$(FASLEXT) strap-0/STRING.$(FASLEXT) \
 	strap-0/SYMBOL.$(FASLEXT) strap-0/INT.$(FASLEXT) \
-	strap-0/DFLOAT.$(FASLEXT) strap-0/OUTFORM.$(FASLEXT)
+	strap-0/DFLOAT.$(FASLEXT) strap-0/OUTFORM.$(FASLEXT) \
+	strap-0/ANY.$(FASLEXT)
 
 strap-1/SEGXCAT.$(FASLEXT): strap-1/SEGCAT.$(FASLEXT)
 
+strap-1/SYMBOL.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \
+	strap-1/KOERCE.$(FASLEXT) strap-1/KRCFROM.$(FASLEXT) \
+	strap-1/KONVERT.$(FASLEXT) strap-1/KVTFROM.$(FASLEXT) \
+	strap-0/REF.$(FASLEXT) strap-0/ALIST.$(FASLEXT) \
+	strap-0/PMSYM.$(FASLEXT)
+
+strap-1/INTFACT.$(FASLEXT): strap-1/LMDICT.$(FASLEXT)
+strap-1/LMDICT.$(FASLEXT): strap-1/MDAGG.$(FASLEXT)
+strap-1/SET.$(FASLEXT): strap-1/FARRAY.$(FASLEXT)
+strap-1/FARRAY.$(FASLEXT): strap-1/IFARRAY.$(FASLEXT)
+strap-1/UNISEG.$(FASLEXT): strap-1/SEG.$(FASLEXT) strap-0/STREAM.$(FASLEXT)
+strap-1/SEG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
+
+strap-1/PATRES.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
+	strap-0/PATTERN.$(FASLEXT) strap-0/PATTERN1.$(FASLEXT)
+
+strap-1/MCDEN.$(FASLEXT): strap-1/LIST2.$(FASLEXT) strap-1/MATCAT2.$(FASLEXT)
+strap-1/LIST2.$(FASLEXT): strap-1/FLAGG2.$(FASLEXT)
+
+strap-1/PMQFCAT.$(FASLEXT): strap-0/PMDOWN.$(FASLEXT)
+strap-1/PFBR.$(FASLEXT): strap-0/COMMUPC.$(FASLEXT)
+strap-1/MULTSQFR.$(FASLEXT): strap-0/GENEEZ.$(FASLEXT) \
+	strap-0/MLIFT.$(FASLEXT) strap-0/PGCD.$(FASLEXT) \
+	strap-0/FACUTIL.$(FASLEXT)
+
+strap-1/PMPLCAT.$(FASLEXT): strap-0/PMTOOLS.$(FASLEXT)
+strap-1/DDFACT.$(FASLEXT): strap-1/MODMON.$(FASLEXT)
+strap-1/MODMON.$(FASLEXT): strap-1/UPOLYC.$(FASLEXT)
+strap-1/TWOFACT.$(FASLEXT): strap-1/FFX.$(FASLEXT) \
+	strap-0/GHENSEL.$(FASLEXT) strap-0/NORMRETR.$(FASLEXT)
+strap-1/FFX.$(FASLEXT): strap-1/FFP.$(FASLEXT) strap-0/FFPOLY.$(FASLEXT)
+strap-1/FFP.$(FASLEXT): strap-1/FFIELDC.$(FASLEXT) strap-1/SUP.$(FASLEXT) \
+	strap-1/FAXF.$(FASLEXT)
+strap-1/FAXF.$(FASLEXT): strap-1/XF.$(FASLEXT) strap-0/SAE.$(FASLEXT)
+strap-1/MATLIN.$(FASLEXT): strap-0/IMATLIN.$(FASLEXT) strap-0/IMATQF.$(FASLEXT)
+
+
+
 # Bootstrap stage 2 dependencies.
 # At this stage we recompile everything from stage 1, including
 # a few more domains.
@@ -883,7 +988,7 @@ strap-2/BASTYPE.$(FASLEXT): strap-2/TYPE.$(FASLEXT) \
 strap-2/FRETRCT.$(FASLEXT): strap-2/RETRACT.$(FASLEXT) strap-1/INS.$(FASLEXT)
 strap-2/SETCAT.$(FASLEXT): strap-2/BASTYPE.$(FASLEXT) \
 	strap-2/KOERCE.$(FASLEXT) strap-1/SINT.$(FASLEXT) \
-	strap-1/STRING.$(FASLEXT)
+	strap-1/STRING.$(FASLEXT) strap-1/OUTFORM.$(FASLEXT)
 strap-2/FINITE.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
 	strap-1/PI.$(FASLEXT) strap-1/NNI.$(FASLEXT)
 strap-2/ORDTYPE.$(FASLEXT): strap-2/BASTYPE.$(FASLEXT)
@@ -899,9 +1004,10 @@ strap-2/LLINSET.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
 strap-2/RLINSET.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
 strap-2/LINSET.$(FASLEXT): strap-2/LLINSET.$(FASLEXT) \
 	strap-2/RLINSET.$(FASLEXT)
-strap-2/SGROUP.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
+strap-2/SGROUP.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
+	strap-1/REPSQ.$(FASLEXT)
 strap-2/ABELSG.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
-	strap-1/PI.$(FASLEXT)
+	strap-1/PI.$(FASLEXT) strap-1/REPDB.$(FASLEXT)
 strap-2/MONOID.$(FASLEXT): strap-2/SGROUP.$(FASLEXT)
 strap-2/ABELMON.$(FASLEXT): strap-2/ABELSG.$(FASLEXT)
 strap-2/CABMON.$(FASLEXT): strap-2/ABELMON.$(FASLEXT)
@@ -941,7 +1047,8 @@ strap-2/INTDOM.$(FASLEXT): strap-2/COMRING.$(FASLEXT) \
 	strap-1/FIELD.$(FASLEXT)
 strap-2/GCDDOM.$(FASLEXT): strap-2/INTDOM.$(FASLEXT) \
 	strap-1/LIST.$(FASLEXT) strap-1/SUP.$(FASLEXT) \
-	strap-1/LSAGG.$(FASLEXT) strap-1/PFECAT.$(FASLEXT)
+	strap-1/LSAGG.$(FASLEXT) strap-1/PFECAT.$(FASLEXT) \
+	strap-1/FRAC.$(FASLEXT)
 strap-2/ENTIRER.$(FASLEXT): strap-2/RING.$(FASLEXT) \
 	strap-2/BMODULE.$(FASLEXT)
 strap-2/OINTDOM.$(FASLEXT): strap-2/INTDOM.$(FASLEXT) \
@@ -964,7 +1071,7 @@ strap-2/DIFFSPC.$(FASLEXT): strap-2/DIFFDOM.$(FASLEXT) \
 strap-2/DIFRING.$(FASLEXT): strap-2/RING.$(FASLEXT) \
 	strap-2/DIFFSPC.$(FASLEXT)
 strap-2/DSEXT.$(FASLEXT): strap-2/DIFFSPC.$(FASLEXT) \
-	strap-2/PDSPC.$(FASLEXT)
+	strap-2/PDSPC.$(FASLEXT) strap-1/SYMBOL.$(FASLEXT)
 strap-2/PDDOM.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
 strap-2/PDSPC.$(FASLEXT): strap-2/PDDOM.$(FASLEXT) \
 	strap-1/NNI.$(FASLEXT)
@@ -980,7 +1087,7 @@ strap-2/CHARZ.$(FASLEXT): strap-2/RING.$(FASLEXT)
 strap-2/STEP.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
 strap-2/PATMAB.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
 strap-2/UFD.$(FASLEXT): strap-2/GCDDOM.$(FASLEXT) \
-	strap-2/BOOLEAN.$(FASLEXT)
+	strap-2/FR.$(FASLEXT) strap-1/BOOLEAN.$(FASLEXT)
 strap-2/INS.$(FASLEXT): strap-2/UFD.$(FASLEXT) strap-2/EUCDOM.$(FASLEXT) \
 	strap-2/OINTDOM.$(FASLEXT) strap-2/DIFRING.$(FASLEXT) \
 	strap-2/KONVERT.$(FASLEXT) strap-2/RETRACT.$(FASLEXT) \
@@ -990,14 +1097,17 @@ strap-2/INS.$(FASLEXT): strap-2/UFD.$(FASLEXT) strap-2/EUCDOM.$(FASLEXT) \
 	strap-2/FEVALAB.$(FASLEXT) strap-1/FRAC.$(FASLEXT) \
 	strap-1/FLOAT.$(FASLEXT) strap-1/DFLOAT.$(FASLEXT) \
 	strap-1/INFORM.$(FASLEXT) strap-1/SEXCAT.$(FASLEXT) \
-	strap-1/PATTERN.$(FASLEXT)
+	strap-1/PATTERN.$(FASLEXT) strap-1/PRIMES.$(FASLEXT) \
+	strap-1/COMBINAT.$(FASLEXT) strap-1/PATRES.$(FASLEXT) \
+	strap-1/PMINS.$(FASLEXT)
 strap-2/FPS.$(FASLEXT): strap-2/RNS.$(FASLEXT)
 strap-2/RNS.$(FASLEXT): strap-2/FIELD.$(FASLEXT) strap-2/ORDRING.$(FASLEXT) \
 	strap-2/RETRACT.$(FASLEXT) strap-2/RADCAT.$(FASLEXT) \
 	strap-2/KONVERT.$(FASLEXT) strap-2/PATMAB.$(FASLEXT) \
 	strap-2/CHARZ.$(FASLEXT)
 strap-2/RADCAT.$(FASLEXT): strap-1/INS.$(FASLEXT)
-strap-2/PFECAT.$(FASLEXT): strap-2/UFD.$(FASLEXT) strap-2/CHARZ.$(FASLEXT)
+strap-2/PFECAT.$(FASLEXT): strap-2/UFD.$(FASLEXT) strap-2/CHARZ.$(FASLEXT) \
+	strap-1/LPEFRAC.$(FASLEXT)
 strap-2/QFCAT.$(FASLEXT): strap-2/ALGEBRA.$(FASLEXT) \
 	strap-2/RETRACT.$(FASLEXT) \
 	strap-2/FEVALAB.$(FASLEXT) strap-2/DIFEXT.$(FASLEXT) \
@@ -1006,7 +1116,8 @@ strap-2/QFCAT.$(FASLEXT): strap-2/ALGEBRA.$(FASLEXT) \
 	strap-2/OINTDOM.$(FASLEXT) strap-2/REAL.$(FASLEXT) \
 	strap-2/KONVERT.$(FASLEXT) strap-2/CHARZ.$(FASLEXT) \
 	strap-2/CHARNZ.$(FASLEXT) strap-2/EUCDOM.$(FASLEXT) \
-	strap-2/PFECAT.$(FASLEXT) strap-1/FIELD.$(FASLEXT) 
+	strap-2/PFECAT.$(FASLEXT) strap-1/FIELD.$(FASLEXT) \
+	strap-1/MCDEN.$(FASLEXT) strap-1/PMQFCAT.$(FASLEXT)
 
 strap-2/FEVALAB.$(FASLEXT): strap-2/FUNCTOR.$(FASLEXT) \
 	strap-2/EVALAB.$(FASLEXT) strap-2/IEVALAB.$(FASLEXT) \
@@ -1029,7 +1140,8 @@ strap-2/ATRIG.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/RING.$(FASLEXT)
 strap-2/HYPCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/RING.$(FASLEXT)
 strap-2/AHYP.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
 strap-2/ELEMFUN.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/MONOID.$(FASLEXT)
-strap-2/IDPC.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) strap-2/FUNCTOR.$(FASLEXT)
+strap-2/IDPC.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) strap-2/FUNCTOR.$(FASLEXT) \
+	strap-1/IDPT.$(FASLEXT)
 strap-2/AMR.$(FASLEXT): strap-2/RING.$(FASLEXT) strap-2/BMODULE.$(FASLEXT) \
 	strap-2/ALGEBRA.$(FASLEXT) strap-2/FIELD.$(FASLEXT) \
 	strap-2/CHARZ.$(FASLEXT) strap-2/CHARNZ.$(FASLEXT) \
@@ -1041,12 +1153,17 @@ strap-2/POLYCAT.$(FASLEXT): strap-2/PDRING.$(FASLEXT) \
 	strap-2/RETRACT.$(FASLEXT) strap-2/FLINEXP.$(FASLEXT) \
 	strap-1/VECTOR.$(FASLEXT) strap-1/MATRIX.$(FASLEXT) \
 	strap-1/LIST.$(FASLEXT) strap-1/SUP.$(FASLEXT) \
-	strap-1/INFORM.$(FASLEXT)
+	strap-1/INFORM.$(FASLEXT) strap-1/GENPGCD.$(FASLEXT) \
+	strap-1/PFBR.$(FASLEXT) strap-1/MULTSQFR.$(FASLEXT) \
+	strap-1/PSQFR.$(FASLEXT) strap-1/PMPLCAT.$(FASLEXT) \
+	strap-1/POLYLIFT.$(FASLEXT)
 strap-2/UPOLYC.$(FASLEXT): strap-2/POLYCAT.$(FASLEXT) \
 	strap-2/ELTAB.$(FASLEXT) strap-2/DIFRING.$(FASLEXT) \
 	strap-2/DIFEXT.$(FASLEXT) strap-2/STEP.$(FASLEXT) \
 	strap-2/COMRING.$(FASLEXT) strap-2/INTDOM.$(FASLEXT) \
-	strap-2/FIELD.$(FASLEXT) strap-2/ALGEBRA.$(FASLEXT)
+	strap-2/FIELD.$(FASLEXT) strap-2/ALGEBRA.$(FASLEXT) \
+	strap-1/PFBRU.$(FASLEXT) strap-1/FR2.$(FASLEXT) \
+	strap-1/UPSQFREE.$(FASLEXT)
 strap-2/ARR2CAT.$(FASLEXT): strap-2/FINAGG.$(FASLEXT) strap-2/SMAGG.$(FASLEXT)
 strap-2/FSAGG.$(FASLEXT): strap-2/KDAGG.$(FASLEXT) \
 	strap-2/SETAGG.$(FASLEXT) strap-2/FINAGG.$(FASLEXT)
@@ -1064,7 +1181,8 @@ strap-2/URAGG.$(FASLEXT): strap-2/RCAGG.$(FASLEXT)
 strap-2/RCAGG.$(FASLEXT): strap-2/HOAGG.$(FASLEXT)
 strap-2/ELAGG.$(FASLEXT): strap-2/LNAGG.$(FASLEXT) strap-2/SMAGG.$(FASLEXT)
 strap-2/SRAGG.$(FASLEXT): strap-2/A1AGG.$(FASLEXT)
-strap-2/A1AGG.$(FASLEXT): strap-2/FLAGG.$(FASLEXT) strap-2/SMAGG.$(FASLEXT)
+strap-2/A1AGG.$(FASLEXT): strap-2/FLAGG.$(FASLEXT) strap-2/SMAGG.$(FASLEXT) \
+	strap-1/FLASORT.$(FASLEXT)
 strap-2/FLAGG.$(FASLEXT): strap-2/LNAGG.$(FASLEXT) strap-2/FINAGG.$(FASLEXT)
 strap-2/FINAGG.$(FASLEXT): strap-2/HOAGG.$(FASLEXT)
 strap-2/LNAGG.$(FASLEXT): strap-2/IXAGG.$(FASLEXT) \
@@ -1102,14 +1220,20 @@ strap-2/INT.$(FASLEXT): strap-2/INS.$(FASLEXT) \
 	strap-2/FLOAT.$(FASLEXT)
 strap-2/DFLOAT.$(FASLEXT): strap-2/FPS.$(FASLEXT) \
 	strap-2/DIFRING.$(FASLEXT) strap-2/TRANFUN.$(FASLEXT) \
-	strap-2/KONVERT.$(FASLEXT)
+	strap-2/KONVERT.$(FASLEXT) strap-1/DFSFUN.$(FASLEXT)
 strap-2/FLOAT.$(FASLEXT): strap-2/FPS.$(FASLEXT) \
 	strap-2/DIFRING.$(FASLEXT) strap-2/TRANFUN.$(FASLEXT) \
-	strap-2/KONVERT.$(FASLEXT) strap-2/KVTFROM.$(FASLEXT)
+	strap-2/KONVERT.$(FASLEXT) strap-2/KVTFROM.$(FASLEXT) \
+	strap-2/INT.$(FASLEXT) strap-1/IROOT.$(FASLEXT) \
+	strap-1/STRING.$(FASLEXT)
 strap-2/SUP.$(FASLEXT): strap-2/UPOLYC.$(FASLEXT) strap-2/PR.$(FASLEXT) \
-	strap-2/FPC.$(FASLEXT) strap-2/FFIELDC.$(FASLEXT)
+	strap-2/FPC.$(FASLEXT) strap-2/FFIELDC.$(FASLEXT)  \
+	strap-1/UPMP.$(FASLEXT) strap-1/TWOFACT.$(FASLEXT) \
+	strap-1/FFSLPE.$(FASLEXT) strap-1/PRS.$(FASLEXT)
 strap-2/FFIELDC.$(FASLEXT): strap-2/FPC.$(FASLEXT) strap-2/STEP.$(FASLEXT) \
-	strap-2/DIFRING.$(FASLEXT) strap-2/PFECAT.$(FASLEXT)
+	strap-2/DIFRING.$(FASLEXT) strap-2/PFECAT.$(FASLEXT)  \
+	strap-1/TABLE.$(FASLEXT) strap-1/ONECOMP.$(FASLEXT) \
+	strap-1/DLP.$(FASLEXT) strap-1/DDFACT.$(FASLEXT)
 strap-2/FPC.$(FASLEXT): strap-2/FIELD.$(FASLEXT)
 strap-2/PR.$(FASLEXT): strap-2/FAMR.$(FASLEXT) strap-2/FM.$(FASLEXT)
 strap-2/FM.$(FASLEXT): strap-2/IDPAG.$(FASLEXT)
@@ -1131,7 +1255,8 @@ strap-2/PRIMARR.$(FASLEXT): strap-2/A1AGG.$(FASLEXT)
 strap-2/PAIR.$(FASLEXT): strap-2/KOERCE.$(FASLEXT) \
 	strap-2/SETCAT.$(FASLEXT) strap-0/OUTFORM.$(FASLEXT)
 strap-2/MATRIX.$(FASLEXT): strap-2/MATCAT.$(FASLEXT) \
-	strap-2/IARRAY2.$(FASLEXT)
+	strap-2/IARRAY2.$(FASLEXT) strap-1/MATSTOR.$(FASLEXT) \
+	strap-1/MATLIN.$(FASLEXT)
 strap-2/IARRAY2.$(FASLEXT): strap-2/ARR2CAT.$(FASLEXT) \
 	strap-2/PRIMARR.$(FASLEXT) strap-1/STRING.$(FASLEXT)
 strap-2/INFORM.$(FASLEXT): strap-2/SEXCAT.$(FASLEXT) \
@@ -1162,7 +1287,7 @@ strap-2/FRAC.$(FASLEXT): strap-2/QFCAT.$(FASLEXT) strap-1/GCDDOM.$(FASLEXT) \
 	strap-1/INS.$(FASLEXT) strap-1/SUP.$(FASLEXT) \
 	strap-1/PFECAT.$(FASLEXT) strap-1/FR.$(FASLEXT) \
 	strap-1/CHARNZ.$(FASLEXT) strap-1/SEGCAT.$(FASLEXT) \
-	strap-1/SEGXCAT.$(FASLEXT)
+	strap-1/SEGXCAT.$(FASLEXT) strap-1/UPOLYC2.$(FASLEXT)
 
 strap-2/CHAR.$(FASLEXT): strap-2/ORDFIN.$(FASLEXT) strap-2/CCLASS.$(FASLEXT)
 strap-2/CCLASS.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
@@ -1177,7 +1302,7 @@ strap-2/MAYBE.$(FASLEXT): strap-2/UTYPE.$(FASLEXT) \
 	strap-2/BOOLEAN.$(FASLEXT)
 strap-2/BOOLEAN.$(FASLEXT): strap-2/PROPLOG.$(FASLEXT) \
 	strap-2/ORDFIN.$(FASLEXT) strap-2/KONVERT.$(FASLEXT) \
-	strap-1/PI.$(FASLEXT)
+	strap-1/PI.$(FASLEXT) strap-1/INFORM.$(FASLEXT)
 
 strap-2/EQ.$(FASLEXT): strap-2/FUNCTOR.$(FASLEXT) strap-2/SETCAT.$(FASLEXT) \
 	strap-2/KOERCE.$(FASLEXT) strap-2/EVALAB.$(FASLEXT) \
@@ -1215,10 +1340,15 @@ strap-2/PATTERN.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
 strap-2/FR.$(FASLEXT): strap-2/INTDOM.$(FASLEXT) strap-2/INTDOM.$(FASLEXT) \
 	strap-2/DIFEXT.$(FASLEXT) strap-2/ALGEBRA.$(FASLEXT) \
 	strap-2/FEVALAB.$(FASLEXT) strap-2/FRETRCT.$(FASLEXT) \
-	strap-2/FUNCTOR.$(FASLEXT) strap-1/LIST.$(FASLEXT) \
+	strap-2/FUNCTOR.$(FASLEXT) strap-2/VOID.$(FASLEXT) \
+	strap-1/LIST.$(FASLEXT) strap-1/SEX.$(FASLEXT) \
 	strap-1/INT.$(FASLEXT) strap-1/NNI.$(FASLEXT) \
 	strap-1/INFORM.$(FASLEXT) strap-1/INS.$(FASLEXT) \
-	strap-1/REAL.$(FASLEXT) strap-1/IEVALAB.$(FASLEXT)
+	strap-1/REAL.$(FASLEXT) strap-1/IEVALAB.$(FASLEXT) \
+	strap-1/FLOAT.$(FASLEXT) strap-1/DFLOAT.$(FASLEXT) \
+	strap-1/INTFACT.$(FASLEXT) strap-1/SET.$(FASLEXT) \
+	strap-1/UNISEG.$(FASLEXT) strap-1/REF.$(FASLEXT) \
+	strap-1/ALIST.$(FASLEXT) strap-1/PRIMARR.$(FASLEXT)
 
 #
 #
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in
index 86bdffc1..d31158ba 100644
--- a/src/algebra/Makefile.in
+++ b/src/algebra/Makefile.in
@@ -1897,7 +1897,7 @@ strap-0/FRAC.$(FASLEXT): strap-0/QFCAT.$(FASLEXT)
 strap-0/MATRIX.$(FASLEXT): strap-0/MATCAT.$(FASLEXT)
 strap-0/SUP.$(FASLEXT): strap-0/UPOLYC.$(FASLEXT) strap-0/PR.$(FASLEXT)
 strap-0/PR.$(FASLEXT): strap-0/FAMR.$(FASLEXT)
-strap-0/TABLE.$(FASLEXT): strap-0/TBAGG.$(FASLEXT)
+strap-0/TABLE.$(FASLEXT): strap-0/TBAGG.$(FASLEXT) strap-0/INTABL.$(FASLEXT)
 strap-0/EQ.$(FASLEXT): strap-0/TYPE.$(FASLEXT) strap-0/FUNCTOR.$(FASLEXT) \
 	strap-0/IEVALAB.$(FASLEXT) strap-0/KOERCE.$(FASLEXT) \
 	strap-0/BOOLEAN.$(FASLEXT) strap-0/EVALAB.$(FASLEXT) \
@@ -1930,6 +1930,9 @@ strap-0/FR.$(FASLEXT): strap-0/INTDOM.$(FASLEXT) strap-0/FUNCTOR.$(FASLEXT) \
 strap-0/PATTERN.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \
 	strap-0/RETRACT.$(FASLEXT)
 
+strap-0/SEX.$(FASLEXT): strap-0/SEXOF.$(FASLEXT)
+strap-0/SEXOF.$(FASLEXT): strap-0/SEXCAT.$(FASLEXT)
+
 strap-0/SYMBOL.$(FASLEXT): strap-0/ORDSET.$(FASLEXT)
 
 strap-0/BOP.$(FASLEXT): strap-0/ORDSET.$(FASLEXT) strap-0/OPERCAT.$(FASLEXT)
@@ -1952,6 +1955,38 @@ strap-0/CACHSET.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
 strap-0/LO.$(FASLEXT): strap-0/MODULE.$(FASLEXT) \
 	strap-0/COMRING.$(FASLEXT) strap-0/OAGROUP.$(FASLEXT)
 
+strap-0/CCLASS.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \
+	strap-0/KONVERT.$(FASLEXT) strap-0/FSAGG.$(FASLEXT)
+
+strap-0/FSAGG.$(FASLEXT): strap-0/DIAGG.$(FASLEXT) \
+	strap-0/SETAGG.$(FASLEXT) strap-0/FINAGG.$(FASLEXT)
+
+strap-0/FLASORT.$(FASLEXT): strap-0/TYPE.$(FASLEXT) strap-0/FLAGG.$(FASLEXT) \
+	strap-0/SMAGG.$(FASLEXT)
+
+strap-0/GENPGCD.$(FASLEXT): strap-0/POLYCAT.$(FASLEXT) \
+	strap-0/ORDSET.$(FASLEXT) strap-0/OAMONS.$(FASLEXT) \
+	strap-0/PFECAT.$(FASLEXT)
+
+strap-0/PFBR.$(FASLEXT): strap-0/PFECAT.$(FASLEXT) strap-0/OAMONS.$(FASLEXT) \
+	strap-0/POLYCAT.$(FASLEXT)
+
+strap-0/DDFACT.$(FASLEXT): strap-0/FFIELDC.$(FASLEXT)
+strap-0/FFIELDC.$(FASLEXT): strap-0/FPC.$(FASLEXT)
+strap-0/INDE.$(FASLEXT): strap-0/IDPC.$(FASLEXT)
+strap-0/STREAM.$(FASLEXT): strap-0/LZSTAGG.$(FASLEXT)
+strap-0/SAE.$(FASLEXT): strap-0/UPOLYC.$(FASLEXT) strap-0/MONOGEN.$(FASLEXT)
+strap-0/MONOGEN.$(FASLEXT): strap-0/COMRING.$(FASLEXT) \
+	strap-0/UPOLYC.$(FASLEXT) strap-0/FRAMALG.$(FASLEXT)
+
+strap-0/FRAMALG.$(FASLEXT): strap-0/FINRALG.$(FASLEXT)
+strap-0/FINRALG.$(FASLEXT): strap-0/COMRING.$(FASLEXT) \
+	strap-0/UPOLYC.$(FASLEXT) strap-0/ALGEBRA.$(FASLEXT)
+strap-0/NORMRETR.$(FASLEXT): strap-0/FAXF.$(FASLEXT)
+strap-0/FAXF.$(FASLEXT): strap-0/XF.$(FASLEXT)
+strap-0/COMPLEX.$(FASLEXT): strap-0/COMPCAT.$(FASLEXT)
+strap-0/COMPCAT.$(FASLEXT): strap-0/COMRING.$(FASLEXT) 
+
 # Bootstrap stage 1 dependencies.
 # At this stage, we attempt to compile domains essential for completing
 # the bootstrap process (stage 2).  Those that were compiled at stage 0
@@ -1967,7 +2002,7 @@ strap-1/SETCAT.$(FASLEXT): strap-1/BASTYPE.$(FASLEXT) \
 
 strap-1/LOGIC.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
 
-strap-1/BOOLE.$(FASLEXT): strap-1/LOGIC.$(FASLEXT)
+strap-1/BOOLE.$(FASLEXT): strap-1/LOGIC.$(FASLEXT) strap-0/INFORM.$(FASLEXT)
 
 strap-1/PROPLOG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
 	strap-1/BOOLE.$(FASLEXT)
@@ -1987,7 +2022,8 @@ strap-1/PID.$(FASLEXT): strap-1/GCDDOM.$(FASLEXT) \
 	strap-0/MAYBE.$(FASLEXT)
 
 strap-1/GCDDOM.$(FASLEXT): strap-1/INTDOM.$(FASLEXT) \
-	strap-0/LIST.$(FASLEXT) strap-0/SUP.$(FASLEXT)
+	strap-0/LIST.$(FASLEXT) strap-0/SUP.$(FASLEXT) \
+	strap-0/FRAC.$(FASLEXT)
 
 strap-1/EUCDOM.$(FASLEXT): strap-1/PID.$(FASLEXT) \
 	strap-0/BOOLEAN.$(FASLEXT) strap-0/LSAGG.$(FASLEXT)
@@ -2002,9 +2038,9 @@ strap-1/RLINSET.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
 strap-1/LINSET.$(FASLEXT): strap-1/LLINSET.$(FASLEXT) \
 	strap-1/RLINSET.$(FASLEXT)
 
-strap-1/SGROUP.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
+strap-1/SGROUP.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) strap-0/REPSQ.$(FASLEXT)
 
-strap-1/ABELSG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
+strap-1/ABELSG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) strap-0/REPDB.$(FASLEXT)
 
 strap-1/MONOID.$(FASLEXT): strap-1/SGROUP.$(FASLEXT)
 
@@ -2088,7 +2124,8 @@ strap-1/CHARNZ.$(FASLEXT): strap-1/RING.$(FASLEXT)
 
 strap-1/FFIELDC.$(FASLEXT): strap-1/FPC.$(FASLEXT) strap-1/FINITE.$(FASLEXT) \
 	strap-1/STEP.$(FASLEXT) strap-1/DIFRING.$(FASLEXT) \
-	strap-0/TABLE.$(FASLEXT)
+	strap-0/TABLE.$(FASLEXT) strap-0/ONECOMP.$(FASLEXT) \
+	strap-0/DLP.$(FASLEXT) strap-0/DDFACT.$(FASLEXT)
 
 strap-1/STEP.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
 
@@ -2105,13 +2142,23 @@ strap-1/INS.$(FASLEXT): strap-1/UFD.$(FASLEXT) strap-1/EUCDOM.$(FASLEXT) \
 	strap-1/REAL.$(FASLEXT) strap-1/CHARZ.$(FASLEXT) \
 	strap-1/STEP.$(FASLEXT) strap-1/PATMAB.$(FASLEXT) \
 	strap-0/PATTERN.$(FASLEXT) strap-0/INFORM.$(FASLEXT) \
-	strap-0/NNI.$(FASLEXT) strap-0/FRAC.$(FASLEXT)
+	strap-0/NNI.$(FASLEXT) strap-0/FRAC.$(FASLEXT) \
+	strap-0/SYMBOL.$(FASLEXT) strap-0/SEX.$(FASLEXT) \
+	strap-0/INTFACT.$(FASLEXT) strap-0/PRIMES.$(FASLEXT) \
+	strap-0/COMBINAT.$(FASLEXT) strap-0/PATRES.$(FASLEXT) \
+	strap-0/PMINS.$(FASLEXT)
+
+strap-0/INTFACT.$(FASLEXT): strap-0/INS.$(FASLEXT)
+strap-0/PRIMES.$(FASLEXT): strap-0/INS.$(FASLEXT)
+strap-0/COMBINAT.$(FASLEXT): strap-0/INS.$(FASLEXT)
+strap-0/PATRES.$(FASLEXT): strap-0/SETCAT.$(FASLEXT)
+strap-0/PMINS.$(FASLEXT): strap-0/INS.$(FASLEXT)
 
 strap-1/PATMAB.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
 
 strap-1/PATTERN.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
 	strap-1/RETRACT.$(FASLEXT) strap-0/SYMBOL.$(FASLEXT) \
-	strap-0/BOP.$(FASLEXT)
+	strap-0/BOP.$(FASLEXT) strap-0/ANY1.$(FASLEXT)
 
 strap-1/LINEXP.$(FASLEXT): strap-1/LMODULE.$(FASLEXT)
 
@@ -2151,7 +2198,8 @@ strap-1/HYPCAT.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-1/RING.$(FASLEXT)
 strap-1/AHYP.$(FASLEXT): strap-1/TYPE.$(FASLEXT)
 strap-1/ELEMFUN.$(FASLEXT): strap-1/TYPE.$(FASLEXT) strap-1/MONOID.$(FASLEXT)
 
-strap-1/IDPC.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) strap-1/FUNCTOR.$(FASLEXT)
+strap-1/IDPC.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) strap-1/FUNCTOR.$(FASLEXT) \
+	strap-0/IDPT.$(FASLEXT)
 
 strap-1/AMR.$(FASLEXT): strap-1/RING.$(FASLEXT) strap-1/BMODULE.$(FASLEXT) \
 	strap-1/ALGEBRA.$(FASLEXT) strap-1/FIELD.$(FASLEXT) \
@@ -2168,16 +2216,21 @@ strap-1/POLYCAT.$(FASLEXT): strap-1/PDRING.$(FASLEXT) \
 	strap-1/RETRACT.$(FASLEXT) strap-1/FLINEXP.$(FASLEXT) \
 	strap-1/VECTOR.$(FASLEXT) strap-0/MATRIX.$(FASLEXT) \
 	strap-0/LIST.$(FASLEXT) strap-0/SUP.$(FASLEXT) \
-	strap-0/INFORM.$(FASLEXT)
+	strap-0/INFORM.$(FASLEXT) strap-0/GENPGCD.$(FASLEXT) \
+	strap-0/PFBR.$(FASLEXT) strap-0/MULTSQFR.$(FASLEXT) \
+	strap-0/PSQFR.$(FASLEXT) strap-0/PMPLCAT.$(FASLEXT) \
+	strap-0/POLYLIFT.$(FASLEXT)
 
 strap-1/UPOLYC.$(FASLEXT): strap-1/POLYCAT.$(FASLEXT) \
 	strap-1/ELTAB.$(FASLEXT) strap-1/DIFRING.$(FASLEXT) \
 	strap-1/DIFEXT.$(FASLEXT) strap-1/STEP.$(FASLEXT) \
 	strap-1/COMRING.$(FASLEXT) strap-1/INTDOM.$(FASLEXT) \
 	strap-1/FIELD.$(FASLEXT) strap-1/ALGEBRA.$(FASLEXT) \
-	strap-1/SAOS.$(FASLEXT)
+	strap-1/SAOS.$(FASLEXT) strap-0/PFBRU.$(FASLEXT) \
+	strap-0/FR2.$(FASLEXT) strap-0/UPSQFREE.$(FASLEXT)
 
-strap-1/PFECAT.$(FASLEXT): strap-1/UFD.$(FASLEXT) strap-1/CHARZ.$(FASLEXT)
+strap-1/PFECAT.$(FASLEXT): strap-1/UFD.$(FASLEXT) strap-1/CHARZ.$(FASLEXT) \
+	strap-0/LPEFRAC.$(FASLEXT)
 
 strap-1/QFCAT.$(FASLEXT): strap-1/FIELD.$(FASLEXT) \
 	strap-1/ALGEBRA.$(FASLEXT) strap-1/RETRACT.$(FASLEXT) \
@@ -2187,7 +2240,8 @@ strap-1/QFCAT.$(FASLEXT): strap-1/FIELD.$(FASLEXT) \
 	strap-1/OINTDOM.$(FASLEXT) strap-1/REAL.$(FASLEXT) \
 	strap-1/KONVERT.$(FASLEXT) strap-1/CHARZ.$(FASLEXT) \
 	strap-1/CHARNZ.$(FASLEXT) strap-1/EUCDOM.$(FASLEXT) \
-	strap-1/PFECAT.$(FASLEXT)
+	strap-1/PFECAT.$(FASLEXT) strap-0/MCDEN.$(FASLEXT) \
+	strap-0/PMQFCAT.$(FASLEXT)
 
 strap-1/FEVALAB.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
 	strap-1/FUNCTOR.$(FASLEXT) strap-1/EVALAB.$(FASLEXT) \
@@ -2241,13 +2295,8 @@ strap-1/SRAGG.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) \
 	strap-0/CHAR.$(FASLEXT) strap-0/CCLASS.$(FASLEXT) \
 	strap-0/STRING.$(FASLEXT)
 
-strap-0/CCLASS.$(FASLEXT): strap-0/SETCAT.$(FASLEXT) \
-	strap-0/KONVERT.$(FASLEXT) strap-0/FSAGG.$(FASLEXT)
-
-strap-0/FSAGG.$(FASLEXT): strap-0/DIAGG.$(FASLEXT) \
-	strap-0/SETAGG.$(FASLEXT) strap-0/FINAGG.$(FASLEXT)
-
-strap-1/A1AGG.$(FASLEXT): strap-1/FLAGG.$(FASLEXT) strap-1/SMAGG.$(FASLEXT)
+strap-1/A1AGG.$(FASLEXT): strap-1/FLAGG.$(FASLEXT) strap-1/SMAGG.$(FASLEXT) \
+	strap-0/FLASORT.$(FASLEXT)
 
 strap-1/FLAGG.$(FASLEXT): strap-1/LNAGG.$(FASLEXT) strap-1/FINAGG.$(FASLEXT)
 
@@ -2259,7 +2308,7 @@ strap-1/LNAGG.$(FASLEXT): strap-1/IXAGG.$(FASLEXT) \
 
 strap-1/CLAGG.$(FASLEXT): strap-1/HOAGG.$(FASLEXT)
 strap-1/IXAGG.$(FASLEXT): strap-1/HOAGG.$(FASLEXT) \
-	strap-1/ELTAGG.$(FASLEXT)
+	strap-1/ELTAGG.$(FASLEXT) strap-0/VOID.$(FASLEXT)
 
 strap-1/HOAGG.$(FASLEXT): strap-1/AGG.$(FASLEXT) strap-1/FUNCTOR.$(FASLEXT) \
 	strap-1/KOERCE.$(FASLEXT) strap-1/BASTYPE.$(FASLEXT) \
@@ -2328,7 +2377,9 @@ strap-1/NNI.$(FASLEXT): strap-1/OAMONS.$(FASLEXT) strap-1/INT.$(FASLEXT)
 
 strap-1/INT.$(FASLEXT): strap-1/INS.$(FASLEXT) \
 	strap-1/SUP.$(FASLEXT) strap-0/MATRIX.$(FASLEXT) \
-	strap-1/VECTOR.$(FASLEXT)
+	strap-1/VECTOR.$(FASLEXT) strap-0/INTSLPE.$(FASLEXT) \
+	strap-0/GALFACT.$(FASLEXT) strap-0/FRUTIL.$(FASLEXT) \
+	strap-0/HEUGCD.$(FASLEXT)
 
 strap-1/MAYBE.$(FASLEXT): strap-1/UTYPE.$(FASLEXT) \
 	strap-1/RETRACT.$(FASLEXT) strap-1/KOERCE.$(FASLEXT) \
@@ -2336,15 +2387,19 @@ strap-1/MAYBE.$(FASLEXT): strap-1/UTYPE.$(FASLEXT) \
 
 strap-1/DFLOAT.$(FASLEXT): strap-1/FPS.$(FASLEXT) \
 	strap-1/DIFRING.$(FASLEXT) strap-1/TRANFUN.$(FASLEXT) \
-	strap-1/KONVERT.$(FASLEXT)
+	strap-1/KONVERT.$(FASLEXT) strap-0/DFSFUN.$(FASLEXT)
+
+strap-1/DFSFUN.$(FASLEXT): strap-0/COMPLEX.$(FASLEXT) strap-0/INTRET.$(FASLEXT)
 
 strap-1/FLOAT.$(FASLEXT): strap-1/FPS.$(FASLEXT) \
 	strap-1/DIFRING.$(FASLEXT) strap-1/TRANFUN.$(FASLEXT) \
 	strap-1/KONVERT.$(FASLEXT) strap-1/KVTFROM.$(FASLEXT) \
-	strap-1/INT.$(FASLEXT)
+	strap-1/INT.$(FASLEXT) strap-0/IROOT.$(FASLEXT)
 
 strap-1/SUP.$(FASLEXT): strap-1/UPOLYC.$(FASLEXT) strap-1/PR.$(FASLEXT) \
-	strap-1/FPC.$(FASLEXT) strap-1/FFIELDC.$(FASLEXT)
+	strap-1/FPC.$(FASLEXT) strap-1/FFIELDC.$(FASLEXT) \
+	strap-0/UPMP.$(FASLEXT) strap-0/TWOFACT.$(FASLEXT) \
+	strap-0/FFSLPE.$(FASLEXT) strap-0/PRS.$(FASLEXT)
 
 strap-1/PR.$(FASLEXT): strap-1/FAMR.$(FASLEXT) strap-1/FM.$(FASLEXT)
 
@@ -2363,7 +2418,8 @@ strap-1/PAIR.$(FASLEXT): strap-1/KOERCE.$(FASLEXT) \
 	strap-1/SETCAT.$(FASLEXT) strap-0/OUTFORM.$(FASLEXT)
 
 strap-1/MATRIX.$(FASLEXT): strap-1/MATCAT.$(FASLEXT) \
-	strap-1/IARRAY2.$(FASLEXT)
+	strap-1/IARRAY2.$(FASLEXT) strap-0/MATSTOR.$(FASLEXT) \
+	strap-0/MATLIN.$(FASLEXT)
 
 strap-1/IARRAY2.$(FASLEXT): strap-1/ARR2CAT.$(FASLEXT) \
 	strap-1/PRIMARR.$(FASLEXT) strap-1/INT.$(FASLEXT) \
@@ -2378,14 +2434,16 @@ strap-1/LIST.$(FASLEXT): strap-1/KOERCE.$(FASLEXT) \
 strap-1/VECTOR.$(FASLEXT): strap-1/VECTCAT.$(FASLEXT) \
 	strap-1/ARRAY1.$(FASLEXT)
 
-strap-1/ARRAY1.$(FASLEXT): strap-1/A1AGG.$(FASLEXT)
+strap-1/ARRAY1.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) strap-1/IARRAY1.$(FASLEXT)
 
 strap-1/IARRAY1.$(FASLEXT): strap-1/A1AGG.$(FASLEXT) \
 	strap-0/PRIMARR.$(FASLEXT)
 
-strap-1/FRAC.$(FASLEXT): strap-1/QFCAT.$(FASLEXT)
+strap-1/FRAC.$(FASLEXT): strap-1/QFCAT.$(FASLEXT) \
+	strap-1/LA.$(FASLEXT) strap-0/UPOLYC2.$(FASLEXT)
 
-strap-1/STRING.$(FASLEXT): strap-1/SRAGG.$(FASLEXT) strap-1/CHAR.$(FASLEXT)
+strap-1/STRING.$(FASLEXT): strap-1/SRAGG.$(FASLEXT) strap-1/CHAR.$(FASLEXT) \
+	strap-1/IDENT.$(FASLEXT)
 
 strap-1/CHAR.$(FASLEXT): strap-1/ORDFIN.$(FASLEXT) strap-1/CCLASS.$(FASLEXT)
 
@@ -2394,7 +2452,8 @@ strap-1/CCLASS.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
 	strap-1/FSAGG.$(FASLEXT) strap-1/KONVERT.$(FASLEXT) \
 	strap-1/IBITS.$(FASLEXT)
 
-strap-1/TABLE.$(FASLEXT): strap-1/TBAGG.$(FASLEXT)
+strap-1/TABLE.$(FASLEXT): strap-1/TBAGG.$(FASLEXT) \
+	strap-0/HASHTBL.$(FASLEXT)
 
 strap-1/IBITS.$(FASLEXT): strap-1/BTAGG.$(FASLEXT)
 
@@ -2418,15 +2477,21 @@ strap-1/BOP.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) strap-1/OPERCAT.$(FASLEXT) \
 	strap-0/OUTFORM.$(FASLEXT) strap-0/INFORM.$(FASLEXT)
 
 strap-1/ES.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) strap-1/RETRACT.$(FASLEXT) \
-	strap-1/IEVALAB.$(FASLEXT) strap-0/BOP.$(FASLEXT) \
-	strap-0/SYMBOL.$(FASLEXT) strap-0/KERNEL.$(FASLEXT)
+	strap-1/IEVALAB.$(FASLEXT) strap-1/REF.$(FASLEXT) \
+	strap-1/ALIST.$(FASLEXT) strap-1/PRIMARR.$(FASLEXT) \
+	strap-0/BOP.$(FASLEXT) 	strap-0/SYMBOL.$(FASLEXT) \
+	strap-0/KERNEL.$(FASLEXT) strap-0/COMMONOP.$(FASLEXT) \
+	strap-0/NONE.$(FASLEXT) strap-0/ARITY.$(FASLEXT) \
+	strap-0/BOP1.$(FASLEXT)
 
 strap-1/EQ.$(FASLEXT): strap-1/FUNCTOR.$(FASLEXT) strap-1/IEVALAB.$(FASLEXT) \
 	strap-1/SETCAT.$(FASLEXT) strap-1/KOERCE.$(FASLEXT) \
 	strap-1/ABELSG.$(FASLEXT) strap-1/ABELGRP.$(FASLEXT) \
 	strap-1/MONOID.$(FASLEXT) strap-1/GROUP.$(FASLEXT) \
 	strap-1/BMODULE.$(FASLEXT) strap-1/COMRING.$(FASLEXT) \
-	strap-1/VSPACE.$(FASLEXT) strap-1/ES.$(FASLEXT)
+	strap-1/VSPACE.$(FASLEXT) strap-0/ES.$(FASLEXT) \
+	strap-0/POLY.$(FASLEXT) strap-0/MULTFACT.$(FASLEXT) \
+	strap-0/INDE.$(FASLEXT) strap-0/CARD.$(FASLEXT)
 
 strap-1/LA.$(FASLEXT): strap-1/ALGEBRA.$(FASLEXT) \
 	strap-1/COMRING.$(FASLEXT) strap-0/LO.$(FASLEXT)
@@ -2439,10 +2504,47 @@ strap-1/FR.$(FASLEXT): strap-1/INTDOM.$(FASLEXT) strap-1/DIFEXT.$(FASLEXT) \
 strap-1/INFORM.$(FASLEXT): strap-1/SEXCAT.$(FASLEXT) \
 	strap-1/KONVERT.$(FASLEXT) strap-0/STRING.$(FASLEXT) \
 	strap-0/SYMBOL.$(FASLEXT) strap-0/INT.$(FASLEXT) \
-	strap-0/DFLOAT.$(FASLEXT) strap-0/OUTFORM.$(FASLEXT)
+	strap-0/DFLOAT.$(FASLEXT) strap-0/OUTFORM.$(FASLEXT) \
+	strap-0/ANY.$(FASLEXT)
 
 strap-1/SEGXCAT.$(FASLEXT): strap-1/SEGCAT.$(FASLEXT)
 
+strap-1/SYMBOL.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \
+	strap-1/KOERCE.$(FASLEXT) strap-1/KRCFROM.$(FASLEXT) \
+	strap-1/KONVERT.$(FASLEXT) strap-1/KVTFROM.$(FASLEXT) \
+	strap-0/REF.$(FASLEXT) strap-0/ALIST.$(FASLEXT) \
+	strap-0/PMSYM.$(FASLEXT)
+
+strap-1/INTFACT.$(FASLEXT): strap-1/LMDICT.$(FASLEXT)
+strap-1/LMDICT.$(FASLEXT): strap-1/MDAGG.$(FASLEXT)
+strap-1/SET.$(FASLEXT): strap-1/FARRAY.$(FASLEXT)
+strap-1/FARRAY.$(FASLEXT): strap-1/IFARRAY.$(FASLEXT)
+strap-1/UNISEG.$(FASLEXT): strap-1/SEG.$(FASLEXT) strap-0/STREAM.$(FASLEXT)
+strap-1/SEG.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
+
+strap-1/PATRES.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \
+	strap-0/PATTERN.$(FASLEXT) strap-0/PATTERN1.$(FASLEXT)
+
+strap-1/MCDEN.$(FASLEXT): strap-1/LIST2.$(FASLEXT) strap-1/MATCAT2.$(FASLEXT)
+strap-1/LIST2.$(FASLEXT): strap-1/FLAGG2.$(FASLEXT)
+
+strap-1/PMQFCAT.$(FASLEXT): strap-0/PMDOWN.$(FASLEXT)
+strap-1/PFBR.$(FASLEXT): strap-0/COMMUPC.$(FASLEXT)
+strap-1/MULTSQFR.$(FASLEXT): strap-0/GENEEZ.$(FASLEXT) \
+	strap-0/MLIFT.$(FASLEXT) strap-0/PGCD.$(FASLEXT) \
+	strap-0/FACUTIL.$(FASLEXT)
+
+strap-1/PMPLCAT.$(FASLEXT): strap-0/PMTOOLS.$(FASLEXT)
+strap-1/DDFACT.$(FASLEXT): strap-1/MODMON.$(FASLEXT)
+strap-1/MODMON.$(FASLEXT): strap-1/UPOLYC.$(FASLEXT)
+strap-1/TWOFACT.$(FASLEXT): strap-1/FFX.$(FASLEXT) \
+	strap-0/GHENSEL.$(FASLEXT) strap-0/NORMRETR.$(FASLEXT)
+strap-1/FFX.$(FASLEXT): strap-1/FFP.$(FASLEXT) strap-0/FFPOLY.$(FASLEXT)
+strap-1/FFP.$(FASLEXT): strap-1/FFIELDC.$(FASLEXT) strap-1/SUP.$(FASLEXT) \
+	strap-1/FAXF.$(FASLEXT)
+strap-1/FAXF.$(FASLEXT): strap-1/XF.$(FASLEXT) strap-0/SAE.$(FASLEXT)
+strap-1/MATLIN.$(FASLEXT): strap-0/IMATLIN.$(FASLEXT) strap-0/IMATQF.$(FASLEXT)
+
 # Bootstrap stage 2 dependencies.
 # At this stage we recompile everything from stage 1, including
 # a few more domains.
@@ -2456,7 +2558,7 @@ strap-2/BASTYPE.$(FASLEXT): strap-2/TYPE.$(FASLEXT) \
 strap-2/FRETRCT.$(FASLEXT): strap-2/RETRACT.$(FASLEXT) strap-1/INS.$(FASLEXT)
 strap-2/SETCAT.$(FASLEXT): strap-2/BASTYPE.$(FASLEXT) \
 	strap-2/KOERCE.$(FASLEXT) strap-1/SINT.$(FASLEXT) \
-	strap-1/STRING.$(FASLEXT)
+	strap-1/STRING.$(FASLEXT) strap-1/OUTFORM.$(FASLEXT)
 strap-2/FINITE.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
 	strap-1/PI.$(FASLEXT) strap-1/NNI.$(FASLEXT)
 strap-2/ORDTYPE.$(FASLEXT): strap-2/BASTYPE.$(FASLEXT)
@@ -2472,9 +2574,10 @@ strap-2/LLINSET.$(FASLEXT): strap-1/SETCAT.$(FASLEXT)
 strap-2/RLINSET.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
 strap-2/LINSET.$(FASLEXT): strap-2/LLINSET.$(FASLEXT) \
 	strap-2/RLINSET.$(FASLEXT)
-strap-2/SGROUP.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
+strap-2/SGROUP.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
+	strap-1/REPSQ.$(FASLEXT)
 strap-2/ABELSG.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
-	strap-1/PI.$(FASLEXT)
+	strap-1/PI.$(FASLEXT) strap-1/REPDB.$(FASLEXT)
 strap-2/MONOID.$(FASLEXT): strap-2/SGROUP.$(FASLEXT)
 strap-2/ABELMON.$(FASLEXT): strap-2/ABELSG.$(FASLEXT)
 strap-2/CABMON.$(FASLEXT): strap-2/ABELMON.$(FASLEXT)
@@ -2514,7 +2617,8 @@ strap-2/INTDOM.$(FASLEXT): strap-2/COMRING.$(FASLEXT) \
 	strap-1/FIELD.$(FASLEXT)
 strap-2/GCDDOM.$(FASLEXT): strap-2/INTDOM.$(FASLEXT) \
 	strap-1/LIST.$(FASLEXT) strap-1/SUP.$(FASLEXT) \
-	strap-1/LSAGG.$(FASLEXT) strap-1/PFECAT.$(FASLEXT)
+	strap-1/LSAGG.$(FASLEXT) strap-1/PFECAT.$(FASLEXT) \
+	strap-1/FRAC.$(FASLEXT)
 strap-2/ENTIRER.$(FASLEXT): strap-2/RING.$(FASLEXT) \
 	strap-2/BMODULE.$(FASLEXT)
 strap-2/OINTDOM.$(FASLEXT): strap-2/INTDOM.$(FASLEXT) \
@@ -2537,7 +2641,7 @@ strap-2/DIFFSPC.$(FASLEXT): strap-2/DIFFDOM.$(FASLEXT) \
 strap-2/DIFRING.$(FASLEXT): strap-2/RING.$(FASLEXT) \
 	strap-2/DIFFSPC.$(FASLEXT)
 strap-2/DSEXT.$(FASLEXT): strap-2/DIFFSPC.$(FASLEXT) \
-	strap-2/PDSPC.$(FASLEXT)
+	strap-2/PDSPC.$(FASLEXT) strap-1/SYMBOL.$(FASLEXT)
 strap-2/PDDOM.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
 strap-2/PDSPC.$(FASLEXT): strap-2/PDDOM.$(FASLEXT) \
 	strap-1/NNI.$(FASLEXT)
@@ -2553,7 +2657,7 @@ strap-2/CHARZ.$(FASLEXT): strap-2/RING.$(FASLEXT)
 strap-2/STEP.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
 strap-2/PATMAB.$(FASLEXT): strap-2/SETCAT.$(FASLEXT)
 strap-2/UFD.$(FASLEXT): strap-2/GCDDOM.$(FASLEXT) \
-	strap-2/BOOLEAN.$(FASLEXT)
+	strap-2/FR.$(FASLEXT) strap-1/BOOLEAN.$(FASLEXT)
 strap-2/INS.$(FASLEXT): strap-2/UFD.$(FASLEXT) strap-2/EUCDOM.$(FASLEXT) \
 	strap-2/OINTDOM.$(FASLEXT) strap-2/DIFRING.$(FASLEXT) \
 	strap-2/KONVERT.$(FASLEXT) strap-2/RETRACT.$(FASLEXT) \
@@ -2563,14 +2667,17 @@ strap-2/INS.$(FASLEXT): strap-2/UFD.$(FASLEXT) strap-2/EUCDOM.$(FASLEXT) \
 	strap-2/FEVALAB.$(FASLEXT) strap-1/FRAC.$(FASLEXT) \
 	strap-1/FLOAT.$(FASLEXT) strap-1/DFLOAT.$(FASLEXT) \
 	strap-1/INFORM.$(FASLEXT) strap-1/SEXCAT.$(FASLEXT) \
-	strap-1/PATTERN.$(FASLEXT)
+	strap-1/PATTERN.$(FASLEXT) strap-1/PRIMES.$(FASLEXT) \
+	strap-1/COMBINAT.$(FASLEXT) strap-1/PATRES.$(FASLEXT) \
+	strap-1/PMINS.$(FASLEXT)
 strap-2/FPS.$(FASLEXT): strap-2/RNS.$(FASLEXT)
 strap-2/RNS.$(FASLEXT): strap-2/FIELD.$(FASLEXT) strap-2/ORDRING.$(FASLEXT) \
 	strap-2/RETRACT.$(FASLEXT) strap-2/RADCAT.$(FASLEXT) \
 	strap-2/KONVERT.$(FASLEXT) strap-2/PATMAB.$(FASLEXT) \
 	strap-2/CHARZ.$(FASLEXT)
 strap-2/RADCAT.$(FASLEXT): strap-1/INS.$(FASLEXT)
-strap-2/PFECAT.$(FASLEXT): strap-2/UFD.$(FASLEXT) strap-2/CHARZ.$(FASLEXT)
+strap-2/PFECAT.$(FASLEXT): strap-2/UFD.$(FASLEXT) strap-2/CHARZ.$(FASLEXT) \
+	strap-1/LPEFRAC.$(FASLEXT)
 strap-2/QFCAT.$(FASLEXT): strap-2/ALGEBRA.$(FASLEXT) \
 	strap-2/RETRACT.$(FASLEXT) \
 	strap-2/FEVALAB.$(FASLEXT) strap-2/DIFEXT.$(FASLEXT) \
@@ -2579,7 +2686,8 @@ strap-2/QFCAT.$(FASLEXT): strap-2/ALGEBRA.$(FASLEXT) \
 	strap-2/OINTDOM.$(FASLEXT) strap-2/REAL.$(FASLEXT) \
 	strap-2/KONVERT.$(FASLEXT) strap-2/CHARZ.$(FASLEXT) \
 	strap-2/CHARNZ.$(FASLEXT) strap-2/EUCDOM.$(FASLEXT) \
-	strap-2/PFECAT.$(FASLEXT) strap-1/FIELD.$(FASLEXT) 
+	strap-2/PFECAT.$(FASLEXT) strap-1/FIELD.$(FASLEXT) \
+	strap-1/MCDEN.$(FASLEXT) strap-1/PMQFCAT.$(FASLEXT)
 
 strap-2/FEVALAB.$(FASLEXT): strap-2/FUNCTOR.$(FASLEXT) \
 	strap-2/EVALAB.$(FASLEXT) strap-2/IEVALAB.$(FASLEXT) \
@@ -2602,7 +2710,8 @@ strap-2/ATRIG.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/RING.$(FASLEXT)
 strap-2/HYPCAT.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-2/RING.$(FASLEXT)
 strap-2/AHYP.$(FASLEXT): strap-2/TYPE.$(FASLEXT)
 strap-2/ELEMFUN.$(FASLEXT): strap-2/TYPE.$(FASLEXT) strap-1/MONOID.$(FASLEXT)
-strap-2/IDPC.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) strap-2/FUNCTOR.$(FASLEXT)
+strap-2/IDPC.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) strap-2/FUNCTOR.$(FASLEXT) \
+	strap-1/IDPT.$(FASLEXT)
 strap-2/AMR.$(FASLEXT): strap-2/RING.$(FASLEXT) strap-2/BMODULE.$(FASLEXT) \
 	strap-2/ALGEBRA.$(FASLEXT) strap-2/FIELD.$(FASLEXT) \
 	strap-2/CHARZ.$(FASLEXT) strap-2/CHARNZ.$(FASLEXT) \
@@ -2614,12 +2723,17 @@ strap-2/POLYCAT.$(FASLEXT): strap-2/PDRING.$(FASLEXT) \
 	strap-2/RETRACT.$(FASLEXT) strap-2/FLINEXP.$(FASLEXT) \
 	strap-1/VECTOR.$(FASLEXT) strap-1/MATRIX.$(FASLEXT) \
 	strap-1/LIST.$(FASLEXT) strap-1/SUP.$(FASLEXT) \
-	strap-1/INFORM.$(FASLEXT)
+	strap-1/INFORM.$(FASLEXT) strap-1/GENPGCD.$(FASLEXT) \
+	strap-1/PFBR.$(FASLEXT) strap-1/MULTSQFR.$(FASLEXT) \
+	strap-1/PSQFR.$(FASLEXT) strap-1/PMPLCAT.$(FASLEXT) \
+	strap-1/POLYLIFT.$(FASLEXT)
 strap-2/UPOLYC.$(FASLEXT): strap-2/POLYCAT.$(FASLEXT) \
 	strap-2/ELTAB.$(FASLEXT) strap-2/DIFRING.$(FASLEXT) \
 	strap-2/DIFEXT.$(FASLEXT) strap-2/STEP.$(FASLEXT) \
 	strap-2/COMRING.$(FASLEXT) strap-2/INTDOM.$(FASLEXT) \
-	strap-2/FIELD.$(FASLEXT) strap-2/ALGEBRA.$(FASLEXT)
+	strap-2/FIELD.$(FASLEXT) strap-2/ALGEBRA.$(FASLEXT) \
+	strap-1/PFBRU.$(FASLEXT) strap-1/FR2.$(FASLEXT) \
+	strap-1/UPSQFREE.$(FASLEXT)
 strap-2/ARR2CAT.$(FASLEXT): strap-2/FINAGG.$(FASLEXT) strap-2/SMAGG.$(FASLEXT)
 strap-2/FSAGG.$(FASLEXT): strap-2/KDAGG.$(FASLEXT) \
 	strap-2/SETAGG.$(FASLEXT) strap-2/FINAGG.$(FASLEXT)
@@ -2637,7 +2751,8 @@ strap-2/URAGG.$(FASLEXT): strap-2/RCAGG.$(FASLEXT)
 strap-2/RCAGG.$(FASLEXT): strap-2/HOAGG.$(FASLEXT)
 strap-2/ELAGG.$(FASLEXT): strap-2/LNAGG.$(FASLEXT) strap-2/SMAGG.$(FASLEXT)
 strap-2/SRAGG.$(FASLEXT): strap-2/A1AGG.$(FASLEXT)
-strap-2/A1AGG.$(FASLEXT): strap-2/FLAGG.$(FASLEXT) strap-2/SMAGG.$(FASLEXT)
+strap-2/A1AGG.$(FASLEXT): strap-2/FLAGG.$(FASLEXT) strap-2/SMAGG.$(FASLEXT) \
+	strap-1/FLASORT.$(FASLEXT)
 strap-2/FLAGG.$(FASLEXT): strap-2/LNAGG.$(FASLEXT) strap-2/FINAGG.$(FASLEXT)
 strap-2/FINAGG.$(FASLEXT): strap-2/HOAGG.$(FASLEXT)
 strap-2/LNAGG.$(FASLEXT): strap-2/IXAGG.$(FASLEXT) \
@@ -2675,14 +2790,20 @@ strap-2/INT.$(FASLEXT): strap-2/INS.$(FASLEXT) \
 	strap-2/FLOAT.$(FASLEXT)
 strap-2/DFLOAT.$(FASLEXT): strap-2/FPS.$(FASLEXT) \
 	strap-2/DIFRING.$(FASLEXT) strap-2/TRANFUN.$(FASLEXT) \
-	strap-2/KONVERT.$(FASLEXT)
+	strap-2/KONVERT.$(FASLEXT) strap-1/DFSFUN.$(FASLEXT)
 strap-2/FLOAT.$(FASLEXT): strap-2/FPS.$(FASLEXT) \
 	strap-2/DIFRING.$(FASLEXT) strap-2/TRANFUN.$(FASLEXT) \
-	strap-2/KONVERT.$(FASLEXT) strap-2/KVTFROM.$(FASLEXT)
+	strap-2/KONVERT.$(FASLEXT) strap-2/KVTFROM.$(FASLEXT) \
+	strap-2/INT.$(FASLEXT) strap-1/IROOT.$(FASLEXT) \
+	strap-1/STRING.$(FASLEXT)
 strap-2/SUP.$(FASLEXT): strap-2/UPOLYC.$(FASLEXT) strap-2/PR.$(FASLEXT) \
-	strap-2/FPC.$(FASLEXT) strap-2/FFIELDC.$(FASLEXT)
+	strap-2/FPC.$(FASLEXT) strap-2/FFIELDC.$(FASLEXT)  \
+	strap-1/UPMP.$(FASLEXT) strap-1/TWOFACT.$(FASLEXT) \
+	strap-1/FFSLPE.$(FASLEXT) strap-1/PRS.$(FASLEXT)
 strap-2/FFIELDC.$(FASLEXT): strap-2/FPC.$(FASLEXT) strap-2/STEP.$(FASLEXT) \
-	strap-2/DIFRING.$(FASLEXT) strap-2/PFECAT.$(FASLEXT)
+	strap-2/DIFRING.$(FASLEXT) strap-2/PFECAT.$(FASLEXT)  \
+	strap-1/TABLE.$(FASLEXT) strap-1/ONECOMP.$(FASLEXT) \
+	strap-1/DLP.$(FASLEXT) strap-1/DDFACT.$(FASLEXT)
 strap-2/FPC.$(FASLEXT): strap-2/FIELD.$(FASLEXT)
 strap-2/PR.$(FASLEXT): strap-2/FAMR.$(FASLEXT) strap-2/FM.$(FASLEXT)
 strap-2/FM.$(FASLEXT): strap-2/IDPAG.$(FASLEXT)
@@ -2704,7 +2825,8 @@ strap-2/PRIMARR.$(FASLEXT): strap-2/A1AGG.$(FASLEXT)
 strap-2/PAIR.$(FASLEXT): strap-2/KOERCE.$(FASLEXT) \
 	strap-2/SETCAT.$(FASLEXT) strap-0/OUTFORM.$(FASLEXT)
 strap-2/MATRIX.$(FASLEXT): strap-2/MATCAT.$(FASLEXT) \
-	strap-2/IARRAY2.$(FASLEXT)
+	strap-2/IARRAY2.$(FASLEXT) strap-1/MATSTOR.$(FASLEXT) \
+	strap-1/MATLIN.$(FASLEXT)
 strap-2/IARRAY2.$(FASLEXT): strap-2/ARR2CAT.$(FASLEXT) \
 	strap-2/PRIMARR.$(FASLEXT) strap-1/STRING.$(FASLEXT)
 strap-2/INFORM.$(FASLEXT): strap-2/SEXCAT.$(FASLEXT) \
@@ -2735,7 +2857,7 @@ strap-2/FRAC.$(FASLEXT): strap-2/QFCAT.$(FASLEXT) strap-1/GCDDOM.$(FASLEXT) \
 	strap-1/INS.$(FASLEXT) strap-1/SUP.$(FASLEXT) \
 	strap-1/PFECAT.$(FASLEXT) strap-1/FR.$(FASLEXT) \
 	strap-1/CHARNZ.$(FASLEXT) strap-1/SEGCAT.$(FASLEXT) \
-	strap-1/SEGXCAT.$(FASLEXT)
+	strap-1/SEGXCAT.$(FASLEXT) strap-1/UPOLYC2.$(FASLEXT)
 
 strap-2/CHAR.$(FASLEXT): strap-2/ORDFIN.$(FASLEXT) strap-2/CCLASS.$(FASLEXT)
 strap-2/CCLASS.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
@@ -2750,7 +2872,7 @@ strap-2/MAYBE.$(FASLEXT): strap-2/UTYPE.$(FASLEXT) \
 	strap-2/BOOLEAN.$(FASLEXT)
 strap-2/BOOLEAN.$(FASLEXT): strap-2/PROPLOG.$(FASLEXT) \
 	strap-2/ORDFIN.$(FASLEXT) strap-2/KONVERT.$(FASLEXT) \
-	strap-1/PI.$(FASLEXT)
+	strap-1/PI.$(FASLEXT) strap-1/INFORM.$(FASLEXT)
 
 strap-2/EQ.$(FASLEXT): strap-2/FUNCTOR.$(FASLEXT) strap-2/SETCAT.$(FASLEXT) \
 	strap-2/KOERCE.$(FASLEXT) strap-2/EVALAB.$(FASLEXT) \
@@ -2788,10 +2910,15 @@ strap-2/PATTERN.$(FASLEXT): strap-2/SETCAT.$(FASLEXT) \
 strap-2/FR.$(FASLEXT): strap-2/INTDOM.$(FASLEXT) strap-2/INTDOM.$(FASLEXT) \
 	strap-2/DIFEXT.$(FASLEXT) strap-2/ALGEBRA.$(FASLEXT) \
 	strap-2/FEVALAB.$(FASLEXT) strap-2/FRETRCT.$(FASLEXT) \
-	strap-2/FUNCTOR.$(FASLEXT) strap-1/LIST.$(FASLEXT) \
+	strap-2/FUNCTOR.$(FASLEXT) strap-2/VOID.$(FASLEXT) \
+	strap-1/LIST.$(FASLEXT) strap-1/SEX.$(FASLEXT) \
 	strap-1/INT.$(FASLEXT) strap-1/NNI.$(FASLEXT) \
 	strap-1/INFORM.$(FASLEXT) strap-1/INS.$(FASLEXT) \
-	strap-1/REAL.$(FASLEXT) strap-1/IEVALAB.$(FASLEXT)
+	strap-1/REAL.$(FASLEXT) strap-1/IEVALAB.$(FASLEXT) \
+	strap-1/FLOAT.$(FASLEXT) strap-1/DFLOAT.$(FASLEXT) \
+	strap-1/INTFACT.$(FASLEXT) strap-1/SET.$(FASLEXT) \
+	strap-1/UNISEG.$(FASLEXT) strap-1/REF.$(FASLEXT) \
+	strap-1/ALIST.$(FASLEXT) strap-1/PRIMARR.$(FASLEXT)
 
 #
 #
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot
index 7ecab9d4..84b6df23 100644
--- a/src/interp/c-util.boot
+++ b/src/interp/c-util.boot
@@ -863,9 +863,13 @@ isLiteral(x,e) ==
 registerConstructor(x,e) ==
   put('%compilerData,'%ctor,x,e)
 
+++ Retrieve the most recent defining constructor.
+currentConstructor e ==
+  get('%compilerData,'%ctor,e)
+
 ++ Retrieve the DB of the constructor definition being processed.
 currentDB e ==
-  ctor := get('%compilerData,'%ctor,e) => constructorDB ctor
+  ctor := currentConstructor e => constructorDB ctor
   nil
 
 makeLiteral: (%Symbol,%Env) -> %Thing
diff --git a/src/interp/functor.boot b/src/interp/functor.boot
index 950fb3b1..ca2d3cb8 100644
--- a/src/interp/functor.boot
+++ b/src/interp/functor.boot
@@ -211,15 +211,17 @@ CategoriesFromGDC x ==
     union([[a']],"union"/[CategoriesFromGDC u for u in b])
   x is ['QUOTE,a] and a is [b] => [a]
  
-compCategories(u,e) ==
+compCategories(db,u,e) ==
   u isnt [.,:.] => u
-  cons? u.op =>
+  u.op is [.,:.] =>
     error ['"compCategories: need an atom in operator position", u.op]
   u.op in '(Record Union Mapping) =>
     -- There is no modemap property for these guys so do it by hand.
-    [u.op, :[compCategories1(a,$SetCategory,e) for a in u.args]]
-  u is ['SubDomain,D,.] => compCategories(D,e)
-  v := get(u.op,'modemap,e)
+    [u.op, :[compCategories1(db,a,$SetCategory,e) for a in u.args]]
+  u is ['SubDomain,D,.] => compCategories(db,D,e)
+  v :=
+    u.op = dbConstructor db => dbConstructorModemap db
+    get(u.op,'modemap,e)
   v isnt [.,:.] =>
     error ['"compCategories: could not get proper modemap for operator",u.op]
   if rest v then
@@ -232,13 +234,13 @@ compCategories(u,e) ==
     v := rest v
   v := resolvePatternVars(first(v).mmSource, u.args) -- replaces #n forms
   -- select the modemap part of the first entry, and skip result etc.
-  [u.op,:[compCategories1(a,b,e) for a in u.args for b in v]]
+  [u.op,:[compCategories1(db,a,b,e) for a in u.args for b in v]]
  
-compCategories1(u,v,e) ==
+compCategories1(db,u,v,e) ==
 -- v is the mode of u
   u isnt [.,:.] => u
-  u is [":",x,t] => [u.op,x,compCategories1(t,v,e)]
-  isCategoryForm(v,e) => compCategories(u,e)
+  u is [":",x,t] => [u.op,x,compCategories1(db,t,v,e)]
+  isCategoryForm(v,e) => compCategories(db,u,e)
   [c,:.] := comp(macroExpand(u,e),v,e) => c
   error 'compCategories1
  
diff --git a/src/interp/lisplib.boot b/src/interp/lisplib.boot
index 807f752f..2d02af64 100644
--- a/src/interp/lisplib.boot
+++ b/src/interp/lisplib.boot
@@ -733,6 +733,9 @@ isDomainForm(D,e) ==
   op := opOf D
   not ident? op => false
   op is '%when => and/[isDomainForm(e,c) for [.,c] in D.args]
+  -- In this just an instance of the current constructor?
+  currentConstructor e = op =>
+    dbConstructorKind constructorDB op in '(domain package)
   --db := constructorDB op => dbConstructorKind db in '(domain package)
   symbolMember?(op,$SpecialDomainNames) or isFunctor op or
      ((getmode(op,e) is ['Mapping,target,:.]) and isCategoryForm(target,e)) or
diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot
index 2b6c7ad4..eb7dfb57 100644
--- a/src/interp/nruncomp.boot
+++ b/src/interp/nruncomp.boot
@@ -463,7 +463,7 @@ buildFunctor(db,sig,code,$locals,$e) ==
   [catsig,:argsig] := sig
   catvecListMaker := removeDuplicates
     [comp(catsig,$EmptyMode,$e).expr,
-      :[compCategories(u,$e) for [u,:.] in categoryAncestors dbDomainShell db]]
+      :[compCategories(db,u,$e) for [u,:.] in categoryAncestors dbDomainShell db]]
   tbl := makeTable function valueEq?
   condCats := InvestigateConditions(db,[catsig,:rest catvecListMaker],tbl,$e)
   -- a list, one %for each element of catvecListMaker