Values of signals, variables and constants are specified to be of certain data types.
Types and subtypes may be declared and used.