Original: Type system, defines a programming language's response to data types
Simplified: Type system, defines a programming languages response to data types