Derive that (INTERN x "KEYWORD") produces a KEYWORD
Add a remark about meta-compile.
Make -EMPTY-,-UNIVERSAL-,-WILD- types into defglobals

(Renaming with double-earmuffs would be gratuitous noise.)