Update type_checking tests.