TS Def
↔ Definitions on what is a type, set, etc. How static type compiler config & works.
Superset
extension to set (language extends base Programming Language)
Static Type System
system to Type-Check Type of Variable (known & expected) at Compile Time
TSC
CLI Dev tool to Type-Check/Compile TS to JS
Language Service
component layer of TSC to provide tool integration with IDE for more features
Language Level
TS exists on Dynamic Level & Static Level