Create type_inference.cpp