Create Term_Inference.agda