Delete Type_Checking.md