A sound and equationally-complete deduction system for partial conditional (higher order) types