What is the meaning of Type_system?

A way programming language classifies values and expressions into types, how it can manipulate those types and how they interact.

Source: wiktionary.org