CTFE: pointerArithmetic now returns UnionExp

Refactor only