* boot/tokens.boot (readOnly?): New builtin Boot function.

	* interp/c-util.boot (isLispSpecialVariable): Tidy.
	(transformToBackendCode): Likewise.

14 files changed, 131 insertions, 105 deletions

diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp
index bc1d5ef4..f1f08c88 100644
--- a/src/algebra/strap/BOOLEAN.lsp
+++ b/src/algebra/strap/BOOLEAN.lsp
@@ -151,6 +151,7 @@
   (COND (|x| '|true|) ('T '|false|))) 
 
 (DEFUN |Boolean| ()
+  (DECLARE (SPECIAL |$ConstructorCache|))
   (PROG (#0=#:G1424)
     (RETURN
       (COND
@@ -166,6 +167,7 @@
 (DEFUN |Boolean;| ()
   (LET ((|dv$| (LIST '|Boolean|)) ($ (|newShell| 39))
         (|pv$| (|buildPredVector| 0 0 NIL)))
+    (DECLARE (SPECIAL |$ConstructorCache|))
     (|setShellEntry| $ 0 |dv$|)
     (|setShellEntry| $ 3 |pv$|)
     (|haddProp| |$ConstructorCache| '|Boolean| NIL (CONS 1 $))
diff --git a/src/algebra/strap/CHAR.lsp b/src/algebra/strap/CHAR.lsp
index bead7589..54208bca 100644
--- a/src/algebra/strap/CHAR.lsp
+++ b/src/algebra/strap/CHAR.lsp
@@ -186,6 +186,7 @@
   (CHAR-DOWNCASE |c|)) 
 
 (DEFUN |Character| ()
+  (DECLARE (SPECIAL |$ConstructorCache|))
   (PROG (#0=#:G1427)
     (RETURN
       (COND
@@ -201,6 +202,7 @@
 (DEFUN |Character;| ()
   (LET ((|dv$| (LIST '|Character|)) ($ (|newShell| 58))
         (|pv$| (|buildPredVector| 0 0 NIL)))
+    (DECLARE (SPECIAL |$ConstructorCache|))
     (|setShellEntry| $ 0 |dv$|)
     (|setShellEntry| $ 3 |pv$|)
     (|haddProp| |$ConstructorCache| '|Character| NIL (CONS 1 $))
diff --git a/src/algebra/strap/DFLOAT.lsp b/src/algebra/strap/DFLOAT.lsp
index 33acb279..dd27cb87 100644
--- a/src/algebra/strap/DFLOAT.lsp
+++ b/src/algebra/strap/DFLOAT.lsp
@@ -878,6 +878,7 @@
                                    $))))))))))))) 
 
 (DEFUN |DoubleFloat| ()
+  (DECLARE (SPECIAL |$ConstructorCache|))
   (PROG (#0=#:G1562)
     (RETURN
       (COND
@@ -895,6 +896,7 @@
 (DEFUN |DoubleFloat;| ()
   (LET ((|dv$| (LIST '|DoubleFloat|)) ($ (|newShell| 164))
         (|pv$| (|buildPredVector| 0 0 NIL)))
+    (DECLARE (SPECIAL |$ConstructorCache|))
     (|setShellEntry| $ 0 |dv$|)
     (|setShellEntry| $ 3 |pv$|)
     (|haddProp| |$ConstructorCache| '|DoubleFloat| NIL (CONS 1 $))
diff --git a/src/algebra/strap/ILIST.lsp b/src/algebra/strap/ILIST.lsp
index 07e52a12..df20936f 100644
--- a/src/algebra/strap/ILIST.lsp
+++ b/src/algebra/strap/ILIST.lsp
@@ -442,6 +442,7 @@
                          (EXIT (|ILIST;merge!;M3$;28| |f| |p| |q| $)))))))))) 
 
 (DEFUN |IndexedList| (&REST #0=#:G1520 &AUX #1=#:G1518)
+  (DECLARE (SPECIAL |$ConstructorCache|))
   (DSETQ #1# #0#)
   (PROG (#2=#:G1519)
     (RETURN
@@ -492,6 +493,7 @@
                                (|HasCategory| |#1|
                                    (LIST '|Evalable|
                                     (|devaluate| |#1|))))))))
+    (DECLARE (SPECIAL |$ConstructorCache|))
     (|setShellEntry| $ 0 |dv$|)
     (|setShellEntry| $ 3 |pv$|)
     (|haddProp| |$ConstructorCache| '|IndexedList| (LIST |dv$1| |dv$2|)
diff --git a/src/algebra/strap/INT.lsp b/src/algebra/strap/INT.lsp
index 4c687c93..8a063aeb 100644
--- a/src/algebra/strap/INT.lsp
+++ b/src/algebra/strap/INT.lsp
@@ -515,6 +515,7 @@
     ('T (SPADCALL (LIST |p| |q|) (|getShellEntry| $ 126))))) 
 
 (DEFUN |Integer| ()
+  (DECLARE (SPECIAL |$ConstructorCache|))
   (PROG (#0=#:G1524)
     (RETURN
       (COND
@@ -530,6 +531,7 @@
 (DEFUN |Integer;| ()
   (LET ((|dv$| (LIST '|Integer|)) ($ (|newShell| 141))
         (|pv$| (|buildPredVector| 0 0 NIL)))
+    (DECLARE (SPECIAL |$ConstructorCache|))
     (|setShellEntry| $ 0 |dv$|)
     (|setShellEntry| $ 3 |pv$|)
     (|haddProp| |$ConstructorCache| '|Integer| NIL (CONS 1 $))
@@ -610,22 +612,22 @@
              |submod| 205 |squareFreePart| 212 |squareFree| 217
              |sizeLess?| 222 |sign| 228 |shift| 233 |sample| 239
              |retractIfCan| 243 |retract| 248 |rem| 253 |reducedSystem|
-             259 |recip| 275 |rationalIfCan| 280 |rational?| 285
-             |rational| 290 |random| 295 |quo| 304 |principalIdeal| 310
-             |prime?| 315 |powmod| 320 |positiveRemainder| 327
-             |positive?| 333 |permutation| 338 |patternMatch| 344
-             |one?| 351 |odd?| 356 |nextItem| 361 |negative?| 366
-             |multiEuclidean| 371 |mulmod| 377 |min| 384 |max| 390
-             |mask| 396 |length| 401 |lcm| 406 |latex| 417 |invmod| 422
-             |init| 428 |inc| 432 |hash| 437 |gcdPolynomial| 442 |gcd|
-             448 |factorial| 459 |factor| 464 |extendedEuclidean| 469
-             |exquo| 482 |expressIdealMember| 488 |even?| 494
-             |euclideanSize| 499 |divide| 504 |differentiate| 510 |dec|
-             521 |copy| 526 |convert| 531 |coerce| 561 |characteristic|
-             581 |bit?| 585 |binomial| 591 |before?| 597 |base| 603
-             |associates?| 607 |addmod| 613 |abs| 620 |Zero| 625 |One|
-             629 |OMwrite| 633 D 657 >= 668 > 674 = 680 <= 686 < 692 -
-             698 + 709 ** 715 * 727)
+             259 |recip| 281 |rationalIfCan| 286 |rational?| 291
+             |rational| 296 |random| 301 |quo| 310 |principalIdeal| 316
+             |prime?| 321 |powmod| 326 |positiveRemainder| 333
+             |positive?| 339 |permutation| 344 |patternMatch| 350
+             |one?| 357 |odd?| 362 |nextItem| 367 |negative?| 372
+             |multiEuclidean| 377 |mulmod| 383 |min| 390 |max| 396
+             |mask| 402 |length| 407 |lcm| 412 |latex| 423 |invmod| 428
+             |init| 434 |inc| 438 |hash| 443 |gcdPolynomial| 448 |gcd|
+             454 |factorial| 465 |factor| 470 |extendedEuclidean| 475
+             |exquo| 488 |expressIdealMember| 494 |even?| 500
+             |euclideanSize| 505 |divide| 510 |differentiate| 516 |dec|
+             527 |copy| 532 |convert| 537 |coerce| 567 |characteristic|
+             587 |bit?| 591 |binomial| 597 |before?| 603 |base| 609
+             |associates?| 613 |addmod| 619 |abs| 626 |Zero| 631 |One|
+             635 |OMwrite| 639 D 663 >= 674 > 680 = 686 <= 692 < 698 -
+             704 + 715 ** 721 * 733)
           '((|infinite| . 0) (|noetherian| . 0)
             (|canonicalsClosed| . 0) (|canonical| . 0)
             (|canonicalUnitNormal| . 0) (|multiplicativeValuation| . 0)
@@ -708,38 +710,38 @@
                                   9 0 1 2 0 0 0 0 1 2 0 92 0 0 1 3 0 0
                                   0 0 0 52 1 0 0 0 1 1 0 113 0 1 2 0 9
                                   0 0 1 1 0 17 0 1 2 0 0 0 0 91 0 0 0 1
-                                  1 0 133 0 1 1 0 17 0 1 2 0 0 0 0 54 1
-                                  0 71 72 73 1 0 71 76 1 2 0 75 72 76
-                                  77 1 0 92 0 93 1 0 130 0 1 1 0 9 0 1
-                                  1 0 129 0 1 0 0 0 79 1 0 0 0 80 2 0 0
-                                  0 0 90 1 0 135 134 1 1 0 9 0 1 3 0 0
-                                  0 0 0 1 2 0 0 0 0 70 1 0 9 0 1 2 0 0
-                                  0 0 1 3 0 132 0 131 132 1 1 0 9 0 34
-                                  1 0 9 0 85 1 0 92 0 1 1 0 9 0 43 2 0
-                                  136 134 0 1 3 0 0 0 0 0 55 2 0 0 0 0
-                                  87 2 0 0 0 0 86 1 0 0 0 1 1 0 0 0 49
-                                  1 0 0 134 1 2 0 0 0 0 1 1 0 14 0 69 2
-                                  0 0 0 0 1 0 0 0 1 1 0 0 0 38 1 0 41 0
-                                  42 2 0 127 127 127 128 1 0 0 134 1 2
-                                  0 0 0 0 94 1 0 0 0 1 1 0 113 0 114 2
-                                  0 137 0 0 1 3 0 139 0 0 0 1 2 0 92 0
-                                  0 112 2 0 136 134 0 1 1 0 9 0 1 1 0 7
-                                  0 1 2 0 88 0 0 89 2 0 0 0 7 1 1 0 0 0
-                                  1 1 0 0 0 40 1 0 0 0 36 1 0 14 0 66 1
-                                  0 59 0 61 1 0 56 0 58 1 0 131 0 1 1 0
-                                  62 0 64 1 0 17 0 48 1 0 0 17 47 1 0 0
-                                  0 1 1 0 0 17 47 1 0 44 0 46 0 0 7 1 2
-                                  0 9 0 0 1 2 0 0 0 0 1 2 0 9 0 0 1 0 0
-                                  0 35 2 0 9 0 0 1 3 0 0 0 0 0 51 1 0 0
-                                  0 78 0 0 0 6 0 0 0 31 3 0 11 12 0 9
-                                  29 2 0 14 0 9 27 2 0 11 12 0 28 1 0
-                                  14 0 26 2 0 0 0 7 1 1 0 0 0 1 2 0 9 0
-                                  0 50 2 0 9 0 0 81 2 0 9 0 0 33 2 0 9
-                                  0 0 82 2 0 9 0 0 10 1 0 0 0 16 2 0 0
-                                  0 0 39 2 0 0 0 0 37 2 0 0 0 7 84 2 0
-                                  0 0 140 1 2 0 0 17 0 83 2 0 0 0 0 53
-                                  2 0 0 17 0 83 2 0 0 7 0 1 2 0 0 140 0
-                                  1)))))
+                                  1 0 133 0 1 1 0 17 0 1 2 0 0 0 0 54 2
+                                  0 75 76 0 1 1 0 71 76 1 1 0 71 72 73
+                                  2 0 75 72 76 77 1 0 92 0 93 1 0 130 0
+                                  1 1 0 9 0 1 1 0 129 0 1 0 0 0 79 1 0
+                                  0 0 80 2 0 0 0 0 90 1 0 135 134 1 1 0
+                                  9 0 1 3 0 0 0 0 0 1 2 0 0 0 0 70 1 0
+                                  9 0 1 2 0 0 0 0 1 3 0 132 0 131 132 1
+                                  1 0 9 0 34 1 0 9 0 85 1 0 92 0 1 1 0
+                                  9 0 43 2 0 136 134 0 1 3 0 0 0 0 0 55
+                                  2 0 0 0 0 87 2 0 0 0 0 86 1 0 0 0 1 1
+                                  0 0 0 49 2 0 0 0 0 1 1 0 0 134 1 1 0
+                                  14 0 69 2 0 0 0 0 1 0 0 0 1 1 0 0 0
+                                  38 1 0 41 0 42 2 0 127 127 127 128 2
+                                  0 0 0 0 94 1 0 0 134 1 1 0 0 0 1 1 0
+                                  113 0 114 2 0 137 0 0 1 3 0 139 0 0 0
+                                  1 2 0 92 0 0 112 2 0 136 134 0 1 1 0
+                                  9 0 1 1 0 7 0 1 2 0 88 0 0 89 2 0 0 0
+                                  7 1 1 0 0 0 1 1 0 0 0 40 1 0 0 0 36 1
+                                  0 14 0 66 1 0 59 0 61 1 0 56 0 58 1 0
+                                  131 0 1 1 0 62 0 64 1 0 17 0 48 1 0 0
+                                  17 47 1 0 0 0 1 1 0 0 17 47 1 0 44 0
+                                  46 0 0 7 1 2 0 9 0 0 1 2 0 0 0 0 1 2
+                                  0 9 0 0 1 0 0 0 35 2 0 9 0 0 1 3 0 0
+                                  0 0 0 51 1 0 0 0 78 0 0 0 6 0 0 0 31
+                                  3 0 11 12 0 9 29 2 0 14 0 9 27 2 0 11
+                                  12 0 28 1 0 14 0 26 2 0 0 0 7 1 1 0 0
+                                  0 1 2 0 9 0 0 50 2 0 9 0 0 81 2 0 9 0
+                                  0 33 2 0 9 0 0 82 2 0 9 0 0 10 1 0 0
+                                  0 16 2 0 0 0 0 39 2 0 0 0 0 37 2 0 0
+                                  0 7 84 2 0 0 0 140 1 2 0 0 17 0 83 2
+                                  0 0 0 0 53 2 0 0 17 0 83 2 0 0 7 0 1
+                                  2 0 0 140 0 1)))))
           '|lookupComplete|)) 
 
 (MAKEPROP '|Integer| 'NILADIC T) 
diff --git a/src/algebra/strap/ISTRING.lsp b/src/algebra/strap/ISTRING.lsp
index a5dce2d9..1fbd9827 100644
--- a/src/algebra/strap/ISTRING.lsp
+++ b/src/algebra/strap/ISTRING.lsp
@@ -736,6 +736,7 @@
                          (EXIT T))))))))) 
 
 (DEFUN |IndexedString| (#0=#:G1543)
+  (DECLARE (SPECIAL |$ConstructorCache|))
   (PROG (#1=#:G1544)
     (RETURN
       (COND
@@ -784,6 +785,7 @@
                                    '(|SetCategory|))
                                (|HasCategory| (|Character|)
                                    (LIST '|Evalable| '(|Character|))))))))
+    (DECLARE (SPECIAL |$ConstructorCache|))
     (|setShellEntry| $ 0 |dv$|)
     (|setShellEntry| $ 3 |pv$|)
     (|haddProp| |$ConstructorCache| '|IndexedString| (LIST |dv$1|)
diff --git a/src/algebra/strap/LIST.lsp b/src/algebra/strap/LIST.lsp
index d215f80d..4f3d5c16 100644
--- a/src/algebra/strap/LIST.lsp
+++ b/src/algebra/strap/LIST.lsp
@@ -187,6 +187,7 @@
       (|getShellEntry| $ 52))) 
 
 (DEFUN |List| (#0=#:G1445)
+  (DECLARE (SPECIAL |$ConstructorCache|))
   (PROG (#1=#:G1446)
     (RETURN
       (COND
@@ -234,6 +235,7 @@
                                (|HasCategory| |#1|
                                    (LIST '|Evalable|
                                     (|devaluate| |#1|))))))))
+    (DECLARE (SPECIAL |$ConstructorCache|))
     (|setShellEntry| $ 0 |dv$|)
     (|setShellEntry| $ 3 |pv$|)
     (|haddProp| |$ConstructorCache| '|List| (LIST |dv$1|) (CONS 1 $))
diff --git a/src/algebra/strap/NNI.lsp b/src/algebra/strap/NNI.lsp
index 50d5af5b..5419507e 100644
--- a/src/algebra/strap/NNI.lsp
+++ b/src/algebra/strap/NNI.lsp
@@ -42,6 +42,7 @@
                               '(|NonNegativeInteger|) |c|))))))))) 
 
 (DEFUN |NonNegativeInteger| ()
+  (DECLARE (SPECIAL |$ConstructorCache|))
   (PROG (#0=#:G1409)
     (RETURN
       (COND
@@ -61,6 +62,7 @@
 (DEFUN |NonNegativeInteger;| ()
   (LET ((|dv$| (LIST '|NonNegativeInteger|)) ($ (|newShell| 22))
         (|pv$| (|buildPredVector| 0 0 NIL)))
+    (DECLARE (SPECIAL |$ConstructorCache|))
     (|setShellEntry| $ 0 |dv$|)
     (|setShellEntry| $ 3 |pv$|)
     (|haddProp| |$ConstructorCache| '|NonNegativeInteger| NIL
diff --git a/src/algebra/strap/OUTFORM.lsp b/src/algebra/strap/OUTFORM.lsp
index e9b6abc6..7f50792b 100644
--- a/src/algebra/strap/OUTFORM.lsp
+++ b/src/algebra/strap/OUTFORM.lsp
@@ -1006,6 +1006,7 @@
   (LIST 'INTSIGN |b| |c| |a|)) 
 
 (DEFUN |OutputForm| ()
+  (DECLARE (SPECIAL |$ConstructorCache|))
   (PROG (#0=#:G1557)
     (RETURN
       (COND
@@ -1022,6 +1023,7 @@
 (DEFUN |OutputForm;| ()
   (LET ((|dv$| (LIST '|OutputForm|)) ($ (|newShell| 150))
         (|pv$| (|buildPredVector| 0 0 NIL)))
+    (DECLARE (SPECIAL |$ConstructorCache|))
     (|setShellEntry| $ 0 |dv$|)
     (|setShellEntry| $ 3 |pv$|)
     (|haddProp| |$ConstructorCache| '|OutputForm| NIL (CONS 1 $))
diff --git a/src/algebra/strap/PI.lsp b/src/algebra/strap/PI.lsp
index 5c9bc5d0..000a27c9 100644
--- a/src/algebra/strap/PI.lsp
+++ b/src/algebra/strap/PI.lsp
@@ -5,6 +5,7 @@
     '(|%igt| |#1| 0)) 
 
 (DEFUN |PositiveInteger| ()
+  (DECLARE (SPECIAL |$ConstructorCache|))
   (PROG (#0=#:G1401)
     (RETURN
       (COND
@@ -22,6 +23,7 @@
 (DEFUN |PositiveInteger;| ()
   (LET ((|dv$| (LIST '|PositiveInteger|)) ($ (|newShell| 16))
         (|pv$| (|buildPredVector| 0 0 NIL)))
+    (DECLARE (SPECIAL |$ConstructorCache|))
     (|setShellEntry| $ 0 |dv$|)
     (|setShellEntry| $ 3 |pv$|)
     (|haddProp| |$ConstructorCache| '|PositiveInteger| NIL (CONS 1 $))
diff --git a/src/algebra/strap/QFCAT-.lsp b/src/algebra/strap/QFCAT-.lsp
index 3dfe5c3e..2a1f2d4d 100644
--- a/src/algebra/strap/QFCAT-.lsp
+++ b/src/algebra/strap/QFCAT-.lsp
@@ -496,11 +496,11 @@
                                   109 5 23 0 0 67 67 67 67 110 2 23 111
                                   0 67 112 1 0 94 0 96 1 0 64 0 66 1 0
                                   67 0 93 1 0 56 0 61 2 0 113 27 114
-                                  115 1 0 23 27 28 0 0 0 99 3 0 84 0 77
-                                  84 85 3 0 75 0 68 75 76 1 0 0 0 10 1
+                                  115 1 0 23 27 28 0 0 0 99 3 0 75 0 68
+                                  75 76 3 0 84 0 77 84 85 1 0 0 0 10 1
                                   0 17 0 20 2 0 0 21 0 22 0 0 0 16 1 0
                                   0 0 55 2 0 0 0 21 36 1 0 0 0 12 1 0
-                                  45 0 48 1 0 37 0 40 1 0 41 0 44 1 0
-                                  68 0 71 1 0 77 0 80 1 0 0 56 58 1 0 0
+                                  45 0 48 1 0 41 0 44 1 0 37 0 40 1 0
+                                  77 0 80 1 0 68 0 71 1 0 0 56 58 1 0 0
                                   86 91 0 0 29 31 2 0 49 0 0 51)))))
           '|lookupComplete|)) 
diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp
index 7233de50..47b51bcc 100644
--- a/src/algebra/strap/SINT.lsp
+++ b/src/algebra/strap/SINT.lsp
@@ -528,6 +528,7 @@
     ('T (VECTOR 1 |x| 1)))) 
 
 (DEFUN |SingleInteger| ()
+  (DECLARE (SPECIAL |$ConstructorCache|))
   (PROG (#0=#:G1495)
     (RETURN
       (COND
@@ -545,6 +546,7 @@
 (DEFUN |SingleInteger;| ()
   (LET ((|dv$| (LIST '|SingleInteger|)) ($ (|newShell| 116))
         (|pv$| (|buildPredVector| 0 0 NIL)))
+    (DECLARE (SPECIAL |$ConstructorCache|))
     (|setShellEntry| $ 0 |dv$|)
     (|setShellEntry| $ 3 |pv$|)
     (|haddProp| |$ConstructorCache| '|SingleInteger| NIL (CONS 1 $))
@@ -601,8 +603,8 @@
              (|Union| 99 '"failed") (|Union| $ '"failed") (|Float|)
              (|DoubleFloat|) (|PatternMatchResult| 5 $) (|Pattern| 5)
              (|InputForm|) (|Union| 5 '"failed") (|List| $)
-             (|Record| (|:| |coef| 108) (|:| |generator| $))
              (|Union| 108 '"failed")
+             (|Record| (|:| |coef| 108) (|:| |generator| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $)
                  (|:| |generator| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $))
@@ -613,24 +615,24 @@
              |subtractIfCan| 121 |submod| 127 |squareFreePart| 134
              |squareFree| 139 |sizeLess?| 144 |size| 150 |sign| 154
              |shift| 159 |sample| 165 |retractIfCan| 169 |retract| 174
-             |rem| 179 |reducedSystem| 185 |recip| 201 |rationalIfCan|
-             206 |rational?| 211 |rational| 216 |random| 221 |quo| 230
-             |principalIdeal| 236 |prime?| 241 |powmod| 246
-             |positiveRemainder| 253 |positive?| 259 |permutation| 264
-             |patternMatch| 270 |or| 277 |one?| 283 |odd?| 288 |not|
-             293 |nextItem| 298 |negative?| 303 |multiEuclidean| 308
-             |mulmod| 314 |min| 321 |max| 331 |mask| 341 |lookup| 346
-             |length| 351 |lcm| 356 |latex| 367 |invmod| 372 |init| 378
-             |index| 382 |inc| 387 |hash| 392 |gcdPolynomial| 397 |gcd|
-             403 |factorial| 414 |factor| 419 |extendedEuclidean| 424
-             |exquo| 437 |expressIdealMember| 443 |even?| 449
-             |euclideanSize| 454 |divide| 459 |differentiate| 465 |dec|
-             476 |copy| 481 |convert| 486 |coerce| 511 |characteristic|
-             531 |bit?| 535 |binomial| 541 |before?| 547 |base| 553
-             |associates?| 557 |and| 563 |addmod| 569 |abs| 576 |\\/|
-             581 |Zero| 587 |Or| 591 |One| 597 |OMwrite| 601 |Not| 625
-             D 630 |And| 641 >= 647 > 653 = 659 <= 665 < 671 |/\\| 677
-             - 683 + 694 ** 700 * 712)
+             |rem| 179 |reducedSystem| 185 |recip| 207 |rationalIfCan|
+             212 |rational?| 217 |rational| 222 |random| 227 |quo| 236
+             |principalIdeal| 242 |prime?| 247 |powmod| 252
+             |positiveRemainder| 259 |positive?| 265 |permutation| 270
+             |patternMatch| 276 |or| 283 |one?| 289 |odd?| 294 |not|
+             299 |nextItem| 304 |negative?| 309 |multiEuclidean| 314
+             |mulmod| 320 |min| 327 |max| 337 |mask| 347 |lookup| 352
+             |length| 357 |lcm| 362 |latex| 373 |invmod| 378 |init| 384
+             |index| 388 |inc| 393 |hash| 398 |gcdPolynomial| 403 |gcd|
+             409 |factorial| 420 |factor| 425 |extendedEuclidean| 430
+             |exquo| 443 |expressIdealMember| 449 |even?| 455
+             |euclideanSize| 460 |divide| 465 |differentiate| 471 |dec|
+             482 |copy| 487 |convert| 492 |coerce| 517 |characteristic|
+             537 |bit?| 541 |binomial| 547 |before?| 553 |base| 559
+             |associates?| 563 |and| 569 |addmod| 575 |abs| 582 |\\/|
+             587 |Zero| 593 |Or| 597 |One| 603 |OMwrite| 607 |Not| 631
+             D 636 |And| 647 >= 653 > 659 = 665 <= 671 < 677 |/\\| 683
+             - 689 + 700 ** 706 * 718)
           '((|noetherian| . 0) (|canonicalsClosed| . 0)
             (|canonical| . 0) (|canonicalUnitNormal| . 0)
             (|multiplicativeValuation| . 0) (|noZeroDivisors| . 0)
@@ -705,40 +707,40 @@
                                   0 0 0 0 0 81 1 0 0 0 1 1 0 114 0 1 2
                                   0 9 0 0 1 0 0 61 83 1 0 5 0 1 2 0 0 0
                                   0 78 0 0 0 1 1 0 107 0 1 1 0 5 0 1 2
-                                  0 0 0 0 64 1 0 30 91 1 2 0 90 31 91
-                                  92 1 0 30 31 32 1 0 101 0 1 1 0 100 0
-                                  1 1 0 9 0 1 1 0 99 0 1 0 0 0 95 1 0 0
-                                  0 96 2 0 0 0 0 63 1 0 109 108 1 1 0 9
-                                  0 1 3 0 0 0 0 0 1 2 0 0 0 0 93 1 0 9
-                                  0 1 2 0 0 0 0 1 3 0 104 0 105 104 1 2
-                                  0 0 0 0 52 1 0 9 0 72 1 0 9 0 69 1 0
-                                  0 0 45 1 0 101 0 1 1 0 9 0 82 2 0 110
-                                  108 0 1 3 0 0 0 0 0 79 0 0 0 42 2 0 0
-                                  0 0 74 0 0 0 41 2 0 0 0 0 73 1 0 0 0
-                                  1 1 0 84 0 88 1 0 0 0 77 1 0 0 108 1
-                                  2 0 0 0 0 1 1 0 14 0 1 2 0 0 0 0 1 0
-                                  0 0 1 1 0 0 84 87 1 0 0 0 57 1 0 75 0
-                                  76 2 0 115 115 115 1 1 0 0 108 1 2 0
-                                  0 0 0 67 1 0 0 0 1 1 0 114 0 1 2 0
-                                  111 0 0 1 3 0 113 0 0 0 1 2 0 101 0 0
-                                  1 2 0 110 108 0 1 1 0 9 0 1 1 0 61 0
-                                  1 2 0 65 0 0 66 2 0 0 0 61 1 1 0 0 0
-                                  1 1 0 0 0 58 1 0 0 0 1 1 0 102 0 1 1
-                                  0 103 0 1 1 0 106 0 1 1 0 105 0 1 1 0
-                                  5 0 17 1 0 0 5 94 1 0 0 0 1 1 0 0 5
-                                  94 1 0 33 0 35 0 0 61 1 2 0 9 0 0 1 2
-                                  0 0 0 0 1 2 0 9 0 0 1 0 0 0 40 2 0 9
-                                  0 0 1 2 0 0 0 0 50 3 0 0 0 0 0 80 1 0
-                                  0 0 68 2 0 0 0 0 47 0 0 0 7 2 0 0 0 0
-                                  51 0 0 0 39 3 0 11 12 0 9 29 2 0 14 0
-                                  9 27 2 0 11 12 0 28 1 0 14 0 26 1 0 0
-                                  0 48 2 0 0 0 61 1 1 0 0 0 1 2 0 0 0 0
-                                  49 2 0 9 0 0 56 2 0 9 0 0 54 2 0 9 0
-                                  0 43 2 0 9 0 0 55 2 0 9 0 0 10 2 0 0
-                                  0 0 46 1 0 0 0 16 2 0 0 0 0 60 2 0 0
-                                  0 0 59 2 0 0 0 61 62 2 0 0 0 84 1 2 0
-                                  0 5 0 38 2 0 0 0 0 37 2 0 0 5 0 38 2
-                                  0 0 61 0 1 2 0 0 84 0 1)))))
+                                  0 0 0 0 64 1 0 30 91 1 1 0 30 31 32 2
+                                  0 90 91 0 1 2 0 90 31 91 92 1 0 101 0
+                                  1 1 0 100 0 1 1 0 9 0 1 1 0 99 0 1 0
+                                  0 0 95 1 0 0 0 96 2 0 0 0 0 63 1 0
+                                  110 108 1 1 0 9 0 1 3 0 0 0 0 0 1 2 0
+                                  0 0 0 93 1 0 9 0 1 2 0 0 0 0 1 3 0
+                                  104 0 105 104 1 2 0 0 0 0 52 1 0 9 0
+                                  72 1 0 9 0 69 1 0 0 0 45 1 0 101 0 1
+                                  1 0 9 0 82 2 0 109 108 0 1 3 0 0 0 0
+                                  0 79 0 0 0 42 2 0 0 0 0 74 0 0 0 41 2
+                                  0 0 0 0 73 1 0 0 0 1 1 0 84 0 88 1 0
+                                  0 0 77 1 0 0 108 1 2 0 0 0 0 1 1 0 14
+                                  0 1 2 0 0 0 0 1 0 0 0 1 1 0 0 84 87 1
+                                  0 0 0 57 1 0 75 0 76 2 0 115 115 115
+                                  1 1 0 0 108 1 2 0 0 0 0 67 1 0 0 0 1
+                                  1 0 114 0 1 2 0 111 0 0 1 3 0 113 0 0
+                                  0 1 2 0 101 0 0 1 2 0 109 108 0 1 1 0
+                                  9 0 1 1 0 61 0 1 2 0 65 0 0 66 2 0 0
+                                  0 61 1 1 0 0 0 1 1 0 0 0 58 1 0 0 0 1
+                                  1 0 102 0 1 1 0 103 0 1 1 0 106 0 1 1
+                                  0 105 0 1 1 0 5 0 17 1 0 0 5 94 1 0 0
+                                  0 1 1 0 0 5 94 1 0 33 0 35 0 0 61 1 2
+                                  0 9 0 0 1 2 0 0 0 0 1 2 0 9 0 0 1 0 0
+                                  0 40 2 0 9 0 0 1 2 0 0 0 0 50 3 0 0 0
+                                  0 0 80 1 0 0 0 68 2 0 0 0 0 47 0 0 0
+                                  7 2 0 0 0 0 51 0 0 0 39 3 0 11 12 0 9
+                                  29 2 0 14 0 9 27 2 0 11 12 0 28 1 0
+                                  14 0 26 1 0 0 0 48 2 0 0 0 61 1 1 0 0
+                                  0 1 2 0 0 0 0 49 2 0 9 0 0 56 2 0 9 0
+                                  0 54 2 0 9 0 0 43 2 0 9 0 0 55 2 0 9
+                                  0 0 10 2 0 0 0 0 46 1 0 0 0 16 2 0 0
+                                  0 0 60 2 0 0 0 0 59 2 0 0 0 61 62 2 0
+                                  0 0 84 1 2 0 0 5 0 38 2 0 0 0 0 37 2
+                                  0 0 5 0 38 2 0 0 61 0 1 2 0 0 84 0 1)))))
           '|lookupComplete|)) 
 
 (MAKEPROP '|SingleInteger| 'NILADIC T) 
diff --git a/src/algebra/strap/SYMBOL.lsp b/src/algebra/strap/SYMBOL.lsp
index 42f3b36e..aaa222da 100644
--- a/src/algebra/strap/SYMBOL.lsp
+++ b/src/algebra/strap/SYMBOL.lsp
@@ -681,6 +681,7 @@
 (DEFUN |SYMBOL;sample;$;35| ($) (DECLARE (IGNORE $)) '|aSymbol|) 
 
 (DEFUN |Symbol| ()
+  (DECLARE (SPECIAL |$ConstructorCache|))
   (PROG (#0=#:G1556)
     (RETURN
       (COND
@@ -696,6 +697,7 @@
 (DEFUN |Symbol;| ()
   (LET ((|dv$| (LIST '|Symbol|)) ($ (|newShell| 165))
         (|pv$| (|buildPredVector| 0 0 NIL)))
+    (DECLARE (SPECIAL |$ConstructorCache|))
     (|setShellEntry| $ 0 |dv$|)
     (|setShellEntry| $ 3 |pv$|)
     (|haddProp| |$ConstructorCache| '|Symbol| NIL (CONS 1 $))
diff --git a/src/algebra/strap/VECTOR.lsp b/src/algebra/strap/VECTOR.lsp
index ff54456c..98d29103 100644
--- a/src/algebra/strap/VECTOR.lsp
+++ b/src/algebra/strap/VECTOR.lsp
@@ -27,6 +27,7 @@
       (|getShellEntry| $ 19))) 
 
 (DEFUN |Vector| (#0=#:G1408)
+  (DECLARE (SPECIAL |$ConstructorCache|))
   (PROG (#1=#:G1409)
     (RETURN
       (COND
@@ -81,6 +82,7 @@
                                (|HasCategory| |#1|
                                    (LIST '|Evalable|
                                     (|devaluate| |#1|))))))))
+    (DECLARE (SPECIAL |$ConstructorCache|))
     (|setShellEntry| $ 0 |dv$|)
     (|setShellEntry| $ 3 |pv$|)
     (|haddProp| |$ConstructorCache| '|Vector| (LIST |dv$1|) (CONS 1 $))