Add hints for types in for loop expressions. Resolve types for every tuple parameter. Refactor the code.