Minimize number of constructs going through old-style block handling except for impls of 'for'
Remove use o getArgumentTypeWackyHack from everything but 'for' in AST and IR (other runtimes will be deleted so I did not bother)