1. A computer-implemented method which, rather than returning an error when a variable is encountered at a particular location in a dynamic language program that does not have a value of a useful type from which to formulate an available symbol set, nonetheless facilitates computation of an available symbol set for the encountered variable at the particular code location in the dynamic language program, the computer-implemented method comprising acts of: accessing type information for one or more variables of a dynamic language program; annotating the one or more variables with information that does not declare a particular type for the one or more variables, but wherein the information aids in determining type information for the one or more variables; accessing source code for a current dynamic program which represents the dynamic language program in a current authoring state; converting the source code for the current dynamic program into an abstract syntax tree representation of the syntactic structure of the source code; generating from the abstract syntax tree byte code and processing the byte code by either: interpreting the byte code in a language service provider environment; or converting the byte code to machine code which is executed outside of the language service provider environment; irrespective of whether the current dynamic program is interpreted as byte code in the language service provider environment or is executed as machine code outside of the language service provider environment, halting execution of the current dynamic program at a halt point where an available symbol set is required for a value of the encountered variable; determining at the halt point that the encountered variable does not have a value of a useful type from which to formulate an available symbol set; at the halt point, in response to determining that the encountered variable does not have a value of a useful type, accessing the annotated information to determine type information of the encountered variable; and rather than returning an error because the encountered variable does not have a value of a useful type from which to formulate an available symbol set, generating an available symbol set based on the annotation information.