Done type checking of for and foreach stats