Merge pull request #1 from cgay/dev

Fix concurrency-test-suite
Add a <work-state> type, and associated constants.
Add some doc comments.