Added `override'; weakened overloading

override should be used where applicable.

Weakened operating overloading wording to "reasonable".
Changed design to use a thread pool

Threads "work" but the current code still has many thread safety
problems.  Also still tons of debugging here.