[Test] Add TypeInferenceTests.