anchor.diff:  
   #+SBCL
   (defun symbol-type (s env)
  -  ;; NB: Broadly analogous to SYMBOL-VALUE but providing access to some
  -  ;; information with regrads to runtime type system reflection
  +  ;; NB: Broadly analogous to SYMBOL-VALUE, but providing access to some
  +  ;; information with regards to runtime type system reflection
     ;;
     ;; See also: SPECIFIER-TYPE in CMUCL, SBCL
     (declare (type symbol s)
  
positive.code:    (lambda (c s)
       ;; Assumption: If this error occurs, the debugger should be able to
       ;; provide information about the lexical environment in which the
       ;; error occurred
       ;;
       ;; TBD: Portable representation for implementation-specific lexical
       ;; environment definitions, in LTP/Common
       (format s  "~<No binding availble for ~s~>"
               (cell-error-name c)))))
  
  ;; (error 'no-binding :name (make-symbol "_FrobP"))
  
negative.code:        ;;
         ;; Susbq, return information for S, from the global environment.
         ;;
         ;; Assumption The global binding state of the symbol has been
         ;; verified, previous to the following.
         ;;
         (sb-kernel:type-specifier (sb-int:info :variable :type s)))
  