Implement evaluation for "for"