Specifies types explicitly for local values, variables, properties, and functions.