ePlus e1 e2 = binop (MachineVector 1 (NumType Signed S32)) "+" e1 e2
ePlus e1 e2 = binop (MachineVector 1 (NumType Signed S32)) "+" e1 e2
ePlus e1 e2 = binop (MachineVector 1 (NumType Signed S32)) "+" e1 e2