Refactored F.Loop signature with nested function (a la YEval). Misc tweaks.