Added missing word
Compacted arena representation, cleaned up some code, added worker termination on derez