Add `Atomic` instances for all atomic `heap_lang` constructs.
Also removed some admissible instances:
-
Atomic s (ResolveProph (Val v1) (Val v2))
(this one was already admissible) -
Atomic s Skip
(became admissible due to the instance for β)
Also removed some admissible instances:
Atomic s (ResolveProph (Val v1) (Val v2))
(this one was already admissible)Atomic s Skip
(became admissible due to the instance for β)