Function: proclaim

Record a global declaration specified by SPEC.

(fn SPEC)