Use of "type" in Section 2.1.3.3 of the WD

Harold and Michael, 
 
I suggest the use of "type" in the following text of the WD be replaced
by terminology used elsewhere in the WD.  In the text below from Sec.
2.1.3.3, where "type" is first used, I think it should be replaced with
"signature."  I'm not sure, but the second occurrence of "type" seems
as though it should be replaced with "sort".   The third occurrence
seems to call for "signature".
IF from Const to functions from D* into D (here D* is a set of all
tuples of any length over the domain D). 

*	New constraint: If f has an arrow type s1× ...× sk → s ∈
ASignature(f) then IF(f) must be a (possibly polymorphic) function of
type Ds1 × ... × Dsk → Ds, i.e., if d1 ∈ Ds1, ..., dk ∈ Dsk then
IF(d1,...,dk) must be in Ds (if the arguments are not in Ds1 × ... ×
Dsk then the result does not need to be in Ds, but IF(f) can have other
types, which restrict its behavior). 

Deborah