anchor.diff:   (the cl:fixnum 
      (array-dimension x 0)))
   
  -(defun |!@-2| (s n)
  +(defun @-2 (s n)
    (declare (type cl:simple-string s) (type cl:fixnum n))
    (elt s n))
   
  -(define-compiler-macro |!@-2| (s n)
  +(define-compiler-macro @-2 (s n)
     `(elt (the cl:simple-string ,s) (the cl:fixnum ,n)))
   
   (defun |!@| (sn)
  
positive.code:                 "String-Spec::implode"
                  "String-Spec::explode"
                  "String-Spec::|!length|"
                  "String-Spec::|!@-2|"
                  "String-Spec::|!@|"
                  "String-Spec::sub-2"
                  "String-Spec::sub"
  
negative.code:                 (the cl:simple-string (car xy)) 
                  (the cl:simple-string (cdr xy)))))
  
  (defun forall? (p)
   (lambda (s)
     (every p s)))
  
  (defun forall?-1-1 (p s)
   (every p s))
  
  (defun exists? (p)
   (lambda (s)
     (some p s)))
  
  (defun exists?-1-1 (p s)
   (some p s))
  
  (defun |!map| (f)
  