ChatGPT - Type Check Benchmark Design