[FS] rules for Function calls unclear

4.1.5 Function Calls / Static Type Analysis
"statEnv |- expanded-QName(Type1,...,Typen) : Type"
This is somewhat unclear, since it's a new notation:
expanded-QName(Type1,...,Typen) is neither a valid
formal value nor valid syntax.

It may be better if you defined this notation by a judgement:
statEnv |- expanded-QName(Type1,...,Typen) YIELDS Type"
The other rules just define this judgement.

Is it worth adding a paragraph: "For user defined fuctions,
which cannot be overloaded [or has this changed?], this
simplifies to ..." ?
-- 
	--Per Bothner
per@bothner.com   http://per.bothner.com/