Change definition of Expr again

Current bugs in loop reduction i think