cpp/named req/Lockable

The requirements extends the  requirements to include attempted locking.

Requirements
For type to be, it must meet the above condition as well as the following: