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