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