A batch of globaldb changes.

* Eliminate verbiage from and improve hygiene of DEFINE-INFO-TYPE.
  The :DEFAULT option, if a function, is called to produce
  a default. If not a function, it is treated as literal data.

* All values placed into globaldb are type-checked.
  Reading a value incurs no type-check.

* A list of proclaimed declarations for SB-CLTL2 is maintained
  without reference to info environments.

* :xc-constant-value is no longer handled through globaldb.
Respect *DEBUG-PRINT-VARIABLE-ALIST* when printing args in PRINT-FRAME-CALL

PRINT-FRAME-CALL used to bind *PRINT-LENGTH* and *PRINT-LEVEL* while
printing function names and arguments. These variables are now only
bound while printing function names to
allow *DEBUG-PRINT-VARIABLE-ALIST* control over printing arguments.

Fixes lp#1261646.
Give CLEAR-INFO unsurprising behavior in a dumped & restored core.

This fixes a bug mentioned in email to sbcl-devel ca. 9/11/2013
("Globaldb screwyness because of purify").