Critical, atomic, and STM ideas

STM statement prefixes:

• contend prefix
• execute code, marking it atomic and critical
• maybe prefix
• Create a checkpoint that can be rolled back within a contend
• defer prefix
• Restore thread to previous checkpoint

This is an area where we need a lot more exploration and implementations.

See S17 for more on explicit threading.