New, improved FUNCTION-TYPE-KEY-NAME proposal (version 2)

[David A. Moon <Moon@STONY-BROOK.SCRC.Symbolics.COM>]

I favor FUNCTION-TYPE-KEY-NAME:SPECIFY-KEYWORD.

However, I'd like to point out a pitfall in the syntax, which I feel
should be documented in the discussion section.  It may not be evident
to a user whether the proper declaration for MAKE-LIST is

   (FUNCTION MAKE-LIST ((INTEGER 0) &KEY (:INITIAL-ELEMENT T)) LIST)

or 

   (FUNCTION MAKE-LIST ((INTEGER 0) &KEY (INITIAL-ELEMENT T)) LIST)

The former is what you propose, but the latter is more analogous to regular
lambda lists.  If the former is correct, it would not be valid for a
compiler to diagnose the latter as invalid (note that X3J13 accepted
KEYWORD-ARGUMENT-NAME-PACKAGE in November).  I don't see any way around
this problem, as I think the former declaration, as you proposed, probably
is the more desirable choice.

Also you didn't say in your proposal whether you intend that such a
declaration, without &ALLOW-OTHER-KEYS, is also a declaration that only
the listed keywords are valid.  This should be stated explicitly.