LWG936 Mutex type overspecified

[jwakely]

https://cplusplus.github.io/LWG/issue936

This old LWG issue has LEWG status, so I'm creating an issue here for LEWG to track it. SG1 said it needs a paper.