EUF$^n$: A Decidable Extension to the Theory of Equality with Uninterpreted Functions