Checks that TypeScript called function parameters, return values, assigned expressions are of the correct type.