5. A computer-readable memory device comprising computer-readable instructions for causing at least one processor to execute the following components: an input component configured to receive a definition of programmatic elements of at least one abstract syntax tree representation of a declarative programming language according to a common intermediate representation, wherein data representing the declarative programming language according to the common intermediate representation can be stored in any of a plurality of underlying storage abstractions, and wherein values associated with the programmatic elements are conformable to a plurality of types such that a particular value is conformable with each of the plurality of types in which the particular value does not violate a constraint codified in a type declaration; an abstract syntax tree processing component configured to format at least one abstract syntax tree data structure based on the definition of the programmatic elements and further configured to generate at least one executable program based on the at least one abstract syntax tree data structure; and an abstract syntax tree manipulation component configured to expose the programmatic elements represented by the at least one abstract syntax tree data structure, wherein the abstract syntax tree manipulation component is further configured to facilitate augmenting node information of the at least one abstract syntax tree data structure with state information via attached properties including representing type checking data in the at least one abstract syntax tree data structure as at least one other attached property, the type checking data used to confirm validity of a particular programmatic element.
8. The computer-readable memory device of claim 5 , further comprising: an abstract syntax tree executable component configured to form and execute executable declarative code based on at least one semantic graph formed from a semantic analysis of the at least one abstract syntax tree data structure.