Review test_type_check.py

@chadell As part of code refactoring, I am going through all the tests included for the library. I believe there is partial overlapping between `test_type_check.py` and `test_diff_generator.py`. Whenever you have chance, could you please have a look? 