Error propagation of UnaExp::semantic and BinExp::semantic
optimize UnaExp and BinExp::semantic call
Error propagation of typeCombine
optimize typeCombine call
Directly return the result of incompatibleTypes