This section contains the definition of concepts corresponding to language features. These concepts express relationships between types, type classifications, and fundamental type properties.