Implements 'equal' function determining whether two S-expressions are equal,

Re-implements 'eqlist' in terms of 'equal'.