提案：增加类型推导测试

[Gaubee]

typescript开发经常会遇到类型推导的开发，希望能有一种测试标准，来让开发者可以编写类型测试；这种测试不需要执行，只需要用tsc进行检查即可。
要提升它的体验，重点在于如何帮助开发者调试类型错误。
参考： https://github.com/dsherret/conditional-type-checks

defineTypeTest('type checker',checker=>{

})