DELTA: a deduction system integrating equational logic and type assignment