Do not wrap the dimension integer

In some places, we use a variable dim that is defined to the world dimension. Such construct is actually counterproductive for loopy. We should instead put the integer as bound. Being able to do such things is the big pro of code generation, lets do that!