Type checking

## What it means

An automatic check that each piece of data is used the way it was meant to be, like catching code that treats a piece of text as a number.