add binaryexpr codegen(complete the typecast[cast to the high level one])