add a strong form of atomicity, for weak forms of weakest-pre

The name is still up for discussion. I slightly prefer safely_atomic, because "strong" is not very informative. However, I am worried that this may be confusing, as a safely atomic term may still be stuck; it just may not reduce to a stuck term.

Fixes #107 (closed)