Better docs for cf and check-ns. Fixes CTYP-41.
More accurate type for keywords as functions.