Added function for deriving an argument type specifier from a lambda list.
Changed the protocol so that the type of an unknown function can be proclaimed.
Changed method on (SETF FUNCTION-TYPE) according to protocol change.
Set function type at compile time.
Load file containing macro DEFUN.