Make atomic a type class.
This MR turns atomic
and strongly_atomic
into a type class.
This removes a bunch of Hint Extern
hacks.
For consistency of naming, this also meant that they had to be renamed into Atomic
and StronglyAtomic
(since all type classes are camelcased).