Add for and with blocks to loopy-lang, for easier explicit iname decl, improve instruction parsing, adapt Rob's Bernstein tests

Deprecate iname infercence. Do iname inference once up front and never again, fix transformations to work without it, and complain if iname inference actually does anything

This reverts commit f8f65232.