Merge branch 'ralf/tele' into 'master'

fix λ.. printing and test it

See merge request !51
8 jobs for master in 8 minutes and 20 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #22295
fp
build-coq.8.7.0

00:02:58

passed #22294
fp
build-coq.8.7.1

00:02:53

passed #22293
fp-timing
build-coq.8.7.2

00:02:43

passed #22292
fp-timing
build-coq.8.8.0

00:02:59

passed #22291
fp
build-coq.8.8.1

00:02:59

passed #22290
fp
build-coq.8.8.2

00:03:15

passed #22289
fp
build-coq.8.9.dev

00:04:19

passed #22288
fp
build-coq.dev

00:05:16