Put heap_lang's let/lambda/rec at level 200.

Coq also uses level 200 for these constructs.
Besides, heap_lang's match and if were also already at this level.
4 jobs for master in 12 minutes and 44 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #4335
fp-timing
build-coq.8.6.1

00:12:27

passed #4334
fp-timing
build-coq.8.7

00:08:18

 
  Deploy
passed #4336
opam

00:00:13

passed #4337
reverse-deps

00:00:14