Type check body of for loop
Add TODO