type checking

Also written: type check

Checking every use of every value against its type, which `tsc` does before the code runs.