expand HeapLang docs a bit

7 jobs for master in 11 minutes and 6 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #25175
fp
build-coq.8.7.1

00:05:24

passed #25174
fp
build-coq.8.7.2

00:05:18

passed #25173
fp-timing
build-coq.8.8.0

00:04:51

passed #25172
fp
build-coq.8.8.1

00:05:32

passed #25171
fp
build-coq.8.8.2

00:05:36

passed #25170
fp-timing
build-coq.8.9.0

00:05:27

passed #25169
fp
build-coq.dev

00:08:23