anchor.diff:  (defmacro define-declare-macro (type-of-declaration parameter-lambda-list)
     `(defmacro ,(intern (concatenate 'string "DECLARE-" (string type-of-declaration)))
          ,parameter-lambda-list
  -     `(enter ,',(first parameter-lambda-list) ,(intern (string type-of-declaration) :keyword)
  -             ,',…)))
  - 
  +     `(enter ',,(first parameter-lambda-list)
  +             ,,(intern (string type-of-declaration) :keyword)
  +             ;; TODO.
  +             ',',parameter-lambda-list)))
  +
   (define-declare-macro declaration             (name declaration-lambda-list &key documentation))
   (define-declare-macro compound-type-specifier (name type-lambda-list kind &key documentation))
   (define-declare-macro type                    (name supertype    &key documentation definition))
  
positive.code: (define-declare-macro system-class            (name superclasses &key documentation (slots ())))
  (define-declare-macro condition-type          (name superclasses &key documentation (slots ())))
  (define-declare-macro symbol                  (name &key documentation))
  (define-declare-macro variables               (name &key documentation))
  (define-declare-macro constant-variables      (name &key documentation))
  (define-declare-macro generic-function          (name generic-lambda-list
                                                        &key documentation
                                                        (signals :unspecified)
  
negative.code: ;;;;LEGAL
  ;;;;    AGPL3
  ;;;;    
  ;;;;    Copyright Pascal J. Bourguignon 2012 - 2013
  ;;;;    
  ;;;;    This program is free software: you can redistribute it and/or modify
  ;;;;    it under the terms of the GNU Affero General Public License as published by
  