-equal? procedure to compare symbols
-differentiator for handling exponentiation with abstract data