补全：调用点检查
（每道题开头都有同一段：函数类型写作 "(int,str)->bool"；fun_type(params, ret) 拼函数类型、ret_of(ft) 取返回类型、call_type(ft, args) 按实参类型
检查器要做哪几件事
一个最简单的类型检查器，主干是【0】。
报一个还是报全部
检查器发现类型错时，更好的做法是【0】。
报了几个、第一个是谁
（每道题开头都有同一段：表达式用嵌套元组表示——("num",5) 是整数、("str","x") 字符串、("bool",True) 布尔、("va
补全：检查器主循环
（每道题开头都有同一段：表达式用嵌套元组表示——("num",5) 是整数、("str","x") 字符串、("bool",True) 布尔、("va
补全：第一个出错的
（每道题开头都有同一段：表达式用嵌套元组表示——("num",5) 是整数、("str","x") 字符串、("bool",True) 布尔、("va
补全：把全部错都收上来
（每道题开头都有同一段：表达式用嵌套元组表示——("num",5) 是整数、("str","x") 字符串、("bool",True) 布尔、("va
补全：数出通过几条
（每道题开头都有同一段：表达式用嵌套元组表示——("num",5) 是整数、("str","x") 字符串、("bool",True) 布尔、("va
⚠️ 自己写：检查器出报告
（每道题开头都有同一段：表达式用嵌套元组表示——("num",5) 是整数、("str","x") 字符串、("bool",True) 布尔、("va
真机上怎么算检查通过
在真实机上对一整套文件跑类型检查，判定它「通过」看的是【0】。