Added some code and tests to check for right number of args passed to
call in typeInfer