Added test cases for type infer of basic types