Implement tests that checks static types in the compiled code

Test should check that correctly type is returned running with optimistic. If optimistic assumption was wrong we should get the right one.