Merge branch 'robbert/atomic' into 'master'

Add `Atomic` instances for all atomic `heap_lang` constructs.

See merge request !317
6 jobs for master in 15 minutes and 38 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #44130
fp
build-coq.8.10.dev

00:12:51

passed #44134
fp
build-coq.8.7.2

00:06:06

passed #44133
fp
build-coq.8.8.2

00:06:52

passed #44132
fp-timing
build-coq.8.9.0

00:06:02

passed #44131
fp
build-coq.8.9.1

00:07:27

passed #44129
fp
build-coq.dev

00:15:38