Drop "context value static type"

[michaelhkay]

Drop the "context value static type" from the definition of the static context.

In the absence of a specification for static typing, the feature is unused, and we have dropped similar features such as statically-known document and collection types.