Access patterns with specific cases of || and &&

[mattfel1]

For example, someone may do

Foreach(8 by 1){ i => 
  .. = mem(16 | i)
  .. = mem(16 | (i + 1))

Right now, the compiler would either crash or set II = 2 to be able to do this. But if it knows the space of i, it should recognize that this | is effectively an add.