Added a custom equality operator tscheme:equal? with generic wrappers for datastructures
that have accessors and test for membership. The program now runs until fix point is reached.