added load balancing (work stealing), support for nominals and
incremental reasoning