Exercise 2.79: Define a generic equality
predicate equ? that tests the equality of two numbers, and install it in
the generic arithmetic package.  This operation should work for ordinary
numbers, rational numbers, and complex numbers.