Schwartzbach, M. I. Type Inference With Inequalities. DPB 1990, 19.