Este sublenguaje instruye al compilador respecto al tipo de valores que puede adoptar cada variable.