Merge branch 'ralf/lang-axioms' into 'master'

Explain our language axioms better

Closes #271

See merge request !440
4 jobs for master in 16 minutes and 4 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #70166
fp

00:09:23

passed build-coq.8.11.1 #70165
fp-timing

00:07:28

passed build-coq.8.11.dev #70164
fp

00:16:02

passed build-coq.8.9.1 #70167
fp

00:08:59