[Refactoring] Change BinExp::incompatibleType to free function
[Refactoring] Add toCommonType