Also known as a shared mutex.
`std::shared_mutex` was introduced in C++17, but cppdap is C++11.

To be used to fix #35.