added some compileExp for EPlus and EMinus (written without regards to annotation)