Fix typechecktest. All Analitza test pass.

Since we have to infer some types from Operations then we need to fix some unit test.
Also, fix unit test for variadic methods.