Create type_checking.php