Added code for Call in typeInfer, and added corresponding tests.