[FS] Editorial comments on section 1 (MS-FS-LC1-001)

MS-FS-LC1-001 
Section 1 Introduction	
Editorial	

In section starting with "[XPath/XQuery] is a typed language. ": Make a
better distinction between static type inference (inferring the static
type) and static type checking for discovering errors.