more infixing
loop, prog1 and some flet improvements