Detailed Description

P4-14 (v1.0 and v1.1) type checking algorithm Initial type setting based on immediate context:

replace named reference to ActionParams in the bodies of ActionFunctions with the actual ActionParam
link header/metadata instances to the Type
replace named references to global header or metadata instances with ConcreteHeaderRef expressions that link directly to them.
set type for Member and HeaderStackItemRefs