RhymeZone: type system definitions

Definitions of type system:

noun: (computing) A way programming language classifies values and expressions into types, how it can manipulate those types and how they interact.

(Definitions from Wiktionary)