refactor MulExp and AddExp to BinExp