This sections examines questions that relate to the definition and usage of variables and types within a program.
See also the following linked information in other sections.