Create Type Inference.java