ast: cleanup loop code

[michaellilltokiwa]

Moved the actual tail recursive loop feature to the impl-block, was in prologSuccessBlock. This should in theory reduce variable shadowing.

Also renamed some fields and made some fields final in an attempt to improve readability.