Added semantic analysis test for assignment to nested tuples
Added nested tuple syntax to type annotations; plus test cases