Allow arbitrary expressions in loop bounds

[effectfully]

Currently we have Integer there. We should allow arbitrary Expr, but keep the semantics: the compiler will throw an error if such an Expr doesn't evaluate to a constant statically.

[jakzale]

After fixing #54 by merging #77 we could provide a straightforward implementation using #76 and requiring that loop bounds are typeable without any external dependencies.