function type specifiers

[Rodney A. Brooks <BROOKS%MIT-OZ@MIT-MC.ARPA>]

In CTtL page 47 it defines a function type specifier to look like:
	(function (arg1-type arg2-type ...) value-type)
and says "The value-type may be a values type specifier in order to
indicate the types of multiple values.".

On page 158 in talking about delarations it says that for
	(ftype type function-name-1 function-name-2 ...)
type must be a functional type. Then on page 159 it says that
	(function name arglist result-type1 result-type-2 ...)
is entirely equivalent to
	(ftype (function arglist result-type1 result-type2 ...) name)
which establishes a contradiction. Page 159 should be changed.
-------