Memory Model for Multithreaded C++

Proposes integrating a memory model suitable for multithreaded execution in the C++ Standard. On top of that model, a standard threading library is proposed.