Adds loop section

This pull request finishes loop section.
Minor syntax change for consistency with loop and let.