We previously completely avoided loopy for temporary declaration.
We now rely on it again, but have DuneTemporaryVariable, which is
capable of doing a bit more things (and at the same time handles
the indexing question)