Replaced data structures in Node class to support concurrency.
Fixed toString methods in Datatype and Existential classes.
Added getTotalTime method to Statistics class.