下面是表达式和赋值语句的文法，其中and的类型是bool×bool→bool，+的类型是int×int→int，=的类型是int×int→bool，：=要求id和E的类型都是int或者都是bool。为该文法写一个语法制导定义或翻译方案，它完成类型检查。