Fix format argument handling of ASSERT-SYMBOL-HOME-PACKAGE-UNLOCKED

* ASSERT-SYMBOL-HOME-PACKAGE-UNLOCKED was already used as if it
  accepted an optional format string and format arguments, but that
  was not the case, previously

* ASSERT-SYMBOL-HOME-PACKAGE-UNLOCKED has been slightly simplified
Simplify report function of PACKAGE-LOCK-VIOLATION
Add PROCLAIM-[F]TYPE; use in PROCLAIM and PREINFORM-COMPILER-ABOUT-ACCESSORS

* New functions have been PROCLAIM-[F]TYPE extracted from PROCLAIM

  * PROCLAIM could be slightly simplified

  * FIXME about not being able to use TYPE-PROCLAMATION-MISMATCH has
    been resolved

* As suggested in a FIXME comment, PREINFORM-COMPILER-ABOUT-ACCESSORS
  now uses PROCLAIM-FTYPE instead of duplicating the logic

* The proclamation-related condition hierarchy now looks like this

  condition-----------------------+---------------+
         |                        |               |
         |                        |               |
  proclamation-mismatch     style-warning       error
     |              |             |               |
     |              |             |               |
  type-p-m         ftype-p-m-----------------+    |
     |                    |       |          |    |
     |        +-----------|-------+          |    |
     |        |           |       |          |    |
  type-p-m-warning   ftype-p-m-warning   ftype-p-m-error

  Report functions of these condition are more regular now and should
  work a bit better in logical blocks
Simplifications in src/compiler/proclaim.lisp