1. A computer program product encoding a computer program for executing on a computer system a computer process for dynamically generating typing context data associated with a typing-context-relevant-code-point being executed within a typing context in a dynamic execution environment, the computer process comprising: encountering the typing-context-relevant-code-point in the typing context during execution of the program; identifying a typing context handle associated with the typing context, the typing context handle referencing a typing context data structure associated with the typing context; computing the typing context data associated with the typing-context-relevant-code-point; allocating a field in the typing context data structure associated with the typing-context-relevant-code-point; and recording the typing context data in the field of the typing context data structure.