Fix some problems in the `Mutex` example. Please note that it still
doesn't compile, as it's obviously rather abstract and incomplete, in
order to demonstrate the principle.
Made the necessary changes to get this example to compile. This includes
replacing the ".." placeholders with comments. I also changed the
formatting of the `else if` block in `read`, to make it easier to
include a placeholder comment in there.