Merge branch 'robbert/heap_lang_binop' into 'master'

Add all the usual binary operators to heap_lang.

See merge request FP/iris-coq!97
5 jobs for master in 6 minutes and 21 seconds
Status Name Job ID Coverage
  Build
passed build-coq.8.6.1 #6284
fp-timing

00:03:00

passed build-coq.8.7.0 #6283
fp-timing

00:02:47

 
  Deploy
passed opam #6285

00:00:14

passed reverse-deps #6286

00:00:14

 
  Build More
passed build-coq.8.7.dev #6287
fp-timing

00:03:03