Added semantic analysis test for assignment to nested tuples
Added nested tuple syntax to type annotations; plus test cases
Added test for parsing nested tuples and lists in for-statements
Added parsing of nested tuples in for statements
Added test for type inference from nested tuples to index variable of for-statement