remove typecheck-test.py