Refactoring: renamed StaticFor to UnrolledFor

The main purpose of this algorithm is to do loop unrolling, not to
handle static/constant bounds. The true StaticFor will handle the
iteration indices in such a way that they can be used in constant
expressions (e.g. passed as template arguments).