Implementing non-blocking Synchronization

Basic approach
- Read version number
- Rely on TSM for type safety of pointers
- Increment version number and check with every modification (abort if changed).

Straightforward transformation from locking.