anchor.diff:  
   (DEFUN shen.analyse-application (F FSym Args Message)
     (LET ((Lambda
  -         (IF (shen.wrapper (shen.partial-application? F Args))
  +         (IF (shen-cl.true? (shen.partial-application? F Args))
             (shen.build-up-lambda-expression FSym F)
  -          (IF (shen.wrapper (shen.lazyboolop? F))
  +          (IF (shen-cl.true? (shen.lazyboolop? F))
               (shen.build-up-lambda-expression FSym F)
               (simple-error Message)))))
       (shen.curried-apply Lambda Args)))
  
positive.code:       (NULL (CDDDR Expr)))
       (CONS '<= (CDR Expr)))
  
      ; X -> [wrapper X]
      (T
       (CONS 'shen.wrapper (CONS Expr NIL)))))
  
  (DEFUN shen.wrapper (X)
    (COND
      ((EQ 'true X)  'T)
      ((EQ 'false X) ())
      (T (simple-error (cn "boolean expected: not " (shen.app X (FORMAT NIL "~%") 'shen.s))))))
  
  (DEFUN shen.maplispsym (Symbol)
    (COND
  
negative.code:           (LIST 'shen.apply (CAR Expr) (CONS 'LIST Args))
            (IF (CONSP (CAR Expr))
              (LIST 'shen.apply (shen.kl-to-lisp Locals (CAR Expr)) (CONS 'LIST Args))
              (IF (shen-cl.true? (shen.partial-application? (CAR Expr) Args))
                (shen.partially-apply (CAR Expr) Args)
                (CONS (shen.maplispsym (CAR Expr)) Args)))))))
  
  