1. A computer implemented system that facilitates a query operation, including: a processor that executes computer executable components; a memory having stored therein the following computer executable components: a query component that facilitates a query, wherein the query utilizes a query expression assigned to a variable, the query expression including a Select operator followed by a definition of a non-denotable anonymous type; and a type component of a compiler that infers a composite type of the variable based on the query expression assigned to the variable and outputs the non-denotable anonymous type, wherein the composite type comprises one or more members and is the non-denotable anonymous type not declared by a programmer, wherein the processor interacts with a compiler to, upon request, perform the following: initiate a compile process on the query; convert the composite type into a statically typed query that is a structurally compatible nominal type that is a static type generated by the compiler and includes a nominal type, wherein the compiler ensures consistent use of variables at compile time based on, at least in part, the nominal type; test for compatibility of the nominal type and the inferred composite type based on, at least in part, a relationship between a field of the composite type and a member of the nominal type; and convert an unrealized structural type to a synthesized nominal type, wherein the synthesized nominal type is a type generated by the compiler, wherein the compiler generates the synthesized nominal type by creating a normal class definition with a multi-character name, and wherein the normal class definition comprises a field associated with a member of one or more members of the non-denotable anonymous type or a property associated with the member of the one or more members of the non-denotable anonymous type.