Allocation a function type.
function type
types of the function parameters
if ... function
return type
Tcount already incremented
Allocation a function type.