14. A computer system comprising: a logical processor; a memory in operable communication with the logical processor; a computer program source code residing in at least one source code file in the memory, the computer program source code written in one or more programming languages; a compiler; and a directives document residing in the memory outside a compilation portion of the computer program source code and having runtime behavior characteristic directives which are written in a human-readable software-parsable format and are not written in the programming languages; and wherein upon execution by the logical processor(s) the compiler compiles at least the compilation portion of the computer program source code from the source code file(s) into at least one native code file as directed by the directives document, including performing at least two of the following: (a) making a type T of the computer program source code be a required type, an optional type, or a prohibited type in the environment, (b) making a type member M of the computer program source code be a required type member, an optional type member, or a prohibited type member in the environment, or (c) enabling or disabling a degree D for a type T or a type member M in the environment.
14. A computer system comprising: a logical processor; a memory in operable communication with the logical processor; a computer program source code residing in at least one source code file in the memory, the computer program source code written in one or more programming languages; a compiler; and a directives document residing in the memory outside a compilation portion of the computer program source code and having runtime behavior characteristic directives which are written in a human-readable software-parsable format and are not written in the programming languages; and wherein upon execution by the logical processor(s) the compiler compiles at least the compilation portion of the computer program source code from the source code file(s) into at least one native code file as directed by the directives document, including performing at least two of the following: (a) making a type T of the computer program source code be a required type, an optional type, or a prohibited type in the environment, (b) making a type member M of the computer program source code be a required type member, an optional type member, or a prohibited type member in the environment, or (c) enabling or disabling a degree D for a type T or a type member M in the environment. 15. The system of claim 14 , wherein the directives document comprises at least one of the following param runtime behavior characteristic directives: a Parameter directive, a TypeParameter directive, or a GenericParameter directive.