Minor changes.
Implemented Deutsch-Schorr-Waite marking for garbage collection.