mutex requirements

[nashif]

• high-level: refine mutex requirement
• mutex: add requirements for a mutex

[Timotheous]

I would hate to lose the work that has been done on this PR. The nature of the "discussion" has made it hard for the owner to implement any changes.

Even without changes, it is better than the near empty file it will replace.