Type Inference with Inequalities