1. A management process performed by a processor for managing runtime behavior characteristics of types and type members of a computer program in an environment, the computer program having a source code which is written in at least one data-typed programming language, the process comprising the steps of: a management process executed by the processor obtaining from at least one digital storage device a directives document containing human-readable directives which are not interleaved with the computer program source code; and the management process executed by the processor inspecting the directives document for directives, which are in a human-readable format that is also parsable by software, and which include at least one of each of the following runtime behavior characteristic directives: a directive that a type T of the computer program source code is a required type, an optional type, or a prohibited type in the environment, a directive that a type member M of the computer program source code is a required type member, an optional type member, or a prohibited type member in the environment, and a directive that a degree D is enabled or disabled for a type T or a type member M in the environment.