Fixed type inference for assignment of Any to tuples
Fixed/extended failing testcases