Merge branch 'atomic' into 'master'

unfolded logically atomic triple

The definition is a bit funky now to hack together something fast. See demo section for an example of application.

cc @dreyer @jung @robbertkrebbers @jjourdan 

See merge request !7
1 job for master in 8 minutes and 55 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #677
coq
buildjob

00:08:55